Login / Signup
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021
Published in:
MEMOCODE (2021)
Keyphrases
</>
formal methods
development lifecycle
knowledge based systems
formal analysis
artificial intelligence
high level
virtual environment
metamodel
reactive systems
model checker
design process
modeling language
formal specification language
open source
probabilistic model
computer science
information systems