Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére

CímSzaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére
Közlemény típusaConference Paper
Kiadás éve2012
SzerzőkDarvas, D.
Konferencia neveXVII. Fiatal Műszakiak Tudományos Ülésszaka
KiadóErdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya
Konferencia helyszíneCluj Napoca, Romania
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció