Formal modeling and verification of UML Activity Diagrams...

  • Main
  • 2020 / 10
  • Formal modeling and verification of UML Activity Diagrams...
Journal of Systems Architecture 2020 / 10

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe

Abbas, Messaoud, Rioboo, Renaud, Ben-Yelles, Choukri-Bey, Snook, Colin F.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Journal:
Journal of Systems Architecture
DOI:
10.1016/j.sysarc.2020.101911
Date:
October, 2020
File:
PDF, 1.05 MB
2020
Conversion to is in progress
Conversion to is failed