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. Conference of PhD Students in Computer Science, (6). p. 55. (2008)

This list was generated on 2020. február 20. 11:37:36 CET.