Login / Signup
Formal Verification of a Safety Argumentation and Application to a Complex UAV System.
Julien Brunel
Jacques Cazin
Published in:
SAFECOMP Workshops (2012)
Keyphrases
</>
formal verification
model checking
real world
artificial intelligence
orders of magnitude
decision problems