Modelling UML state machines with FoCaLiZe
Abbas, Messaoud, Yelles, Choukri Bey Ben, Rioboo, RenaudVolume:
13
Year:
2018
Journal:
International Journal of Information and Communication Technology
DOI:
10.1504/ijict.2018.090429
File:
PDF, 363 KB
2018