Login / Signup

Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems.

Joon-Ha JangJin-Young Choi
Published in: J. Commun. (2017)
Keyphrases
  • communication protocols
  • real world
  • case study
  • model checking
  • multi agent systems
  • distributed systems
  • reverse engineering
  • formal specification