Login / Signup

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool.

Muhammad Abdul Basit Ur RahimFahim ArifJamil Ahmad
Published in: ICCSA (5) (2014)
Keyphrases
  • modeling language
  • formal methods
  • user friendly
  • modeling tool
  • formal verification
  • databases
  • artificial intelligence
  • social networks
  • data model
  • model checking
  • parallel implementation
  • signature verification