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

Charles E. Dickerson, Siyuan Ji, Rosmira Roslan. Formal methods for a system of systems analysis framework applied to traffic management. In 11th System of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12-16, 2016. pages 1-6, IEEE, 2016. [doi]

Authors

Charles E. Dickerson

This author has not been identified. Look up 'Charles E. Dickerson' in Google

Siyuan Ji

This author has not been identified. Look up 'Siyuan Ji' in Google

Rosmira Roslan

This author has not been identified. Look up 'Rosmira Roslan' in Google