Symbolic verification of petri net based models

View/Open

Értekezés (3.267Mb)

Tézisfüzet (magyar) (1.140Mb)

Tézisfüzet (angol) (628.3Kb)

Metadata

Show full item record

URI

http://hdl.handle.net/10890/5646

Collections

Informatikai Tudományok Doktori Iskola [174]

Title: Symbolic verification of petri net based models
Title and subtitle in another language: Petri háló alapú modellek szimbolikus verifikációja
Author: Vörös, András
Date of issue: 2018
Advisor: Bartha, Tamás
Language: en
Identifiers: BME OMIKK katalógus-azonosító: 000646271
Document type: Disszertáció