Login / Signup

Model Translation from Papyrus-RT into the nuXmv Model Checker.

Sneha SahuRuth SchorrInmaculada Medina-BuloMatthias F. Wagner
Published in: SEFM (2020)
Keyphrases
  • model checker
  • machine learning
  • artificial intelligence
  • knowledge base
  • rough set theory