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

First Author: Dickerson C
Attributed to:  Theme 1 - Analysis of the Vehicle as a Complex System funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/sysose.2016.7542918

Publication URI: http://dx.doi.org/10.1109/sysose.2016.7542918

Type: Conference/Paper/Proceeding/Abstract