Login / Signup
Formal methods for a system of systems analysis framework applied to traffic management.
Charles E. Dickerson
Siyuan Ji
Rosmira Roslan
Published in:
SoSE (2016)
Keyphrases
</>
formal methods
traffic management
knowledge based systems
safety critical
genetic algorithm
complex systems
control strategies