Practice-oriented formal methods to support the software development of industrial control systems
| 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 | ||
| en | hu_HU | |
| Practice-oriented formal methods to support the software development of industrial control systems | hu_HU | |
| Gyakorlatorientált formális módszerek az ipari vezérlőrendszerek szoftverfejlesztésének támogatására | hu_HU | |
| Disszertáció | hu | |
| 2017-05-15 | ||
| Informatikai Tudományok Doktori Iskola | hu_HU | |
| Villamosmérnöki és Informatikai Kar | hu_HU | |
| 000603582 | ||
| Ipar | ||
| Automatizált irányítási rendszer | ||
| Programvezérlés | ||
| Szoftver | ||
| Fejlesztés | ||
| Verifikáció | ||
| Algoritmus | ||
| Modellelmélet | ||
| Ph.D. Thesis | hu_HU | |
| Budapesti Műszaki és Gazdaságtudományi Egyetem | hu_HU |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 2.51 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 683.93 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 671.05 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (angol)
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 846 B
- Format:
- Item-specific license agreed upon to submission
- Description: