Login / Signup
Model Translation from Papyrus-RT into the nuXmv Model Checker.
Sneha Sahu
Ruth Schorr
Inmaculada Medina-Bulo
Matthias F. Wagner
Published in:
SEFM (2020)
Keyphrases
</>
model checker
machine learning
artificial intelligence
knowledge base
rough set theory