CheckVML: A tool for model checking visual modeling languages

Megtekintés/Megnyitás

13171.pdf (146.3KB)

Dátum

2003

Szerző

Schmidt A

Varró, Dániel

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/2489

Collections

BME PA dokumentumai [3736]