Login / Signup
A formal verification framework for SysML activity diagrams.
Samir Ouchani
Otmane Aït Mohamed
Mourad Debbabi
Published in:
Expert Syst. Appl. (2014)
Keyphrases
</>
formal verification
model checker
database
web services
activity diagrams