Login / Signup
Verifying Systems-of-Systems with Statistical Model Checking.
Axel Legay
Jean Quilbeuf
Flávio Oquendo
Published in:
ERCIM News (2015)
Keyphrases
</>
model checking
automated verification
expert systems
knowledge based systems
formal methods