Login / Signup

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

Charles E. DickersonSiyuan JiRosmira Roslan
Published in: SoSE (2016)
Keyphrases
  • formal methods
  • traffic management
  • knowledge based systems
  • safety critical
  • genetic algorithm
  • complex systems
  • control strategies