Szerző: " Sisak Áron"
csoportosítás:
Mű típusa |
csoportosítás nélkülTalálatok száma: 1.
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.