Items where Author is "Sisak, Áron"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


Sisak, Áron: Verification of UML 2 state machines by automated model transformation to the SAL model checker. In: Conference of PhD Students in Computer Science, (6). p. 55. (2008)

This list was generated on 2020. szeptember 26. 10:58:48 CEST.