Szerző: " Sisak Áron"
Találatok száma: 1.
Konferencia vagy workshop anyag
Sisak Áron:
Verification of UML 2 state machines by automated model transformation to the SAL model checker : [abstract].
A lista elkészítésének dátuma 2024. március 28. 17:35:14 CET.