Show simple item record

Majzik, István
Viñuela, Enrique Blanco
Darvas, Daniel
2017-04-06T13:50:37Z
2017-04-06T13:50:37Z
2017
http://hdl.handle.net/10890/5364
enhu_HU
Practice-oriented formal methods to support the software development of industrial control systemshu_HU
Gyakorlatorientált formális módszerek az ipari vezérlőrendszerek szoftverfejlesztésének támogatásárahu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2017-05-15
000603582
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Ipar
Automatizált irányítási rendszer
Programvezérlés
Szoftver
Fejlesztés
Verifikáció
Algoritmus
Modellelmélet
Ph.D. Thesishu_HU


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record