Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • View Item
  •   DSpace Home
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Symbolic verification of petri net based models

Thumbnail
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 [178]
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
Date of defence
2018-11-30
Advisor
Bartha, Tamás
Language
en
Identifiers
BME OMIKK katalógus-azonosító: 000646271
Document type
Disszertáció
Document genre
Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem
Faculty
Villamosmérnöki és Informatikai Kar
Doctoral school
Informatikai Tudományok Doktori Iskola

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV