Concepedia

Publication | Open Access

Towards model checking executable UML specifications in mCRL2

DOIFull Paper Access

42

Citations

13

References

2010

Year

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
Innovations in Systems and Software Engineering

References

YearCitations

Page 1