Login / Signup

A formal verification framework for SysML activity diagrams.

Samir OuchaniOtmane Aït MohamedMourad Debbabi
Published in: Expert Syst. Appl. (2014)
Keyphrases
  • formal verification
  • model checker
  • database
  • web services
  • activity diagrams