Formal methods for a system of systems analysis framework applied to traffic management

Formal methods for systems and system of systems engineering (SoSE) can bring precision to architecting and design, and increased trustworthiness in verification; but they require the use of formal languages that are not broadly comprehensible to the various stakeholders. The evolution of Model Base...

Full description

Bibliographic Details

Main Authors:	Charles Dickerson, Siyuan Ji, Rosmira Roslan
Format:	Default Conference proceeding
Published:	2016
Subjects:	Mechanical engineering not elsewhere classified untagged Mechanical Engineering not elsewhere classified
Online Access:	https://hdl.handle.net/2134/22383
Tags:	Add Tag No Tags, Be the first to tag this record!