English

Szerző: " Sisak Áron"

[Fel] 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 2026. március 8. 12:05:52 CET.
Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.