On formalizing UML state machines using ASMs
Egon Börger, Alessandra Cavarra, Elvinia RiccobeneVolume:
46
Year:
2004
Language:
english
Pages:
6
DOI:
10.1016/j.infsof.2003.09.009
File:
PDF, 114 KB
english, 2004