Model Checking Based Verification of UML 2.0 Statecharts
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15377
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2008, 15th
Cím:
Model Checking Based Verification of UML 2.0 Statecharts
Létrehozó:
Sisak, Áron
Majzik, István
Dátum:
2021-05-28T08:37:23Z
2021-05-28T08:37:23Z
2008
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: