Symbolic verification of petri net based models
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
Petri háló alapú modellek szimbolikus verifikációja
Date Defence
2018-11-30
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
Gender
Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem