Symbolic verification of petri net based models

Cím és alcím: Symbolic verification of petri net based models
Cím és alcím más nyelven: Petri háló alapú modellek szimbolikus verifikációja
Szerző: Vörös, András
Megjelenés ideje: 2018
Védés dátuma: 2018-11-30
Témavezető: Bartha, Tamás
Nyelv: en
Dokumentumtípus: Disszertáció
Műfaj: Ph.D. Thesis
Egyetem: Budapesti Műszaki és Gazdaságtudományi Egyetem
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Informatikai Tudományok Doktori Iskola