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]

Abstract

Abstract is missing.