Login / Signup

Simulink to NuSMV Model Translation Challenges.

Ganesha
Published in: ISEC (2022)
Keyphrases
  • mathematical model
  • artificial intelligence
  • probabilistic model
  • model checking
  • knowledge base
  • object oriented
  • model checker