Practice-oriented formal methods to support the software development of industrial control systems
Date
Authors
Type
Disszertáció
Alternative
Gyakorlatorientált formális módszerek az ipari vezérlőrendszerek szoftverfejlesztésének támogatására
Date Defence
2017-05-15
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
Subject (OSZKAR)
Ipar
Automatizált irányítási rendszer
Programvezérlés
Szoftver
Fejlesztés
Verifikáció
Algoritmus
Modellelmélet
Automatizált irányítási rendszer
Programvezérlés
Szoftver
Fejlesztés
Verifikáció
Algoritmus
Modellelmélet
Gender
Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem