Login / Signup
ModelPlex: verified runtime validation of verified cyber-physical system models.
Stefan Mitsch
André Platzer
Published in:
Formal Methods Syst. Des. (2016)
Keyphrases
</>
artificial intelligence
information systems
information technology
high speed