VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Megtekintés/Megnyitás

13213.pdf (36.72KB)

Dátum

2002

Szerző

Csertán, György

Huszerl, Gábor

Majzik, István

Pap Zs

Pataricza, András

Varró, Dániel

Metadata

Teljes megjelenítés

URI

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

Collections

• BME PA dokumentumai [3736]