Symbolic verification of petri net based models

Title: Symbolic verification of petri net based models
Cím és alcím más nyelven: Petri háló alapú modellek szimbolikus verifikációja
Author: Vörös, András
Date: 2018
Védés dátuma: 2018-11-30
Témavezető: Bartha, Tamás
Language: en
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000646271
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