Szerző: " Sisak Áron"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
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. 14:49:24 CET.