Login / Signup
Unmanned aircraft systems in the national airspace system: a formal methods perspective.
César A. Muñoz
Aaron Dutle
Anthony Narkawicz
Jason Upchurch
Published in:
ACM SIGLOG News (2016)
Keyphrases
</>
formal methods
safety critical
artificial intelligence
knowledge based systems
model checking
formal analysis
model checker
process algebra
air force
air traffic control
software engineering
reactive systems
air traffic
provably correct
building blocks
data mining
databases