Verification of UML 2 state machines by automated model transformation to the SAL model checker

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)

[img] Cikk, tanulmány, mű
cscs_2008_055.pdf

Download (38kB)
Item Type: Article
Event Title: Conference of PhD students in computer science (6.) (2008) (Szeged)
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2008
Volume: 6
Page Range: p. 55
Uncontrolled Keywords: Számítástechnika - előadáskivonat
Additional Information: Bibliogr.: 55. p.
Date Deposited: 2019. Oct. 18. 09:52
Last Modified: 2019. Oct. 18. 09:52
URI: http://acta.bibl.u-szeged.hu/id/eprint/59932

Actions (login required)

View Item View Item