Show simple item record

Pataricza, András
Varró-Gyapay, Szilvia
2015-08-18T08:53:08Z
2015-08-18T08:53:08Z
2014
http://hdl.handle.net/10890/1412
en
Budapesti Műszaki és Gazdaságtudományi Egyetem
Trajectory set approximation for optimization and verification of IT systemsen
Információs rendszerek Petri háló alapú együttes verifikációja és optimalizálásahu
Ph.D. Thesis
Informatikai Tudományok Doktori Iskola
Villamosmérnöki és Informatikai Kar
2015-03-17
000579478
Információs rendszer
Petri-háló
Modellelmélet
Verifikáció


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record