Login / Signup

Modular and Distributed Verification of SysML Activity Diagrams.

Messaoud RahimAhmed HammadMalika Ioualalen
Published in: MODELSWARD (2013)
Keyphrases
  • activity diagrams
  • formal methods
  • distributed systems
  • sequence diagrams
  • model checking
  • safety analysis
  • conceptual database design
  • database
  • databases
  • multi agent
  • entity relationship