Formal modeling, verification and test generation for component-based reactive systems
| Majzik, István | ||
| Graics, Bence | ||
| 2024-03-18T17:21:35Z | ||
| 2024-03-18T17:21:35Z | ||
| 2023 | ||
| http://hdl.handle.net/10890/55153 | ||
| en | ||
| Formal modeling, verification and test generation for component-based reactive systems | ||
| Formális modellezés, verifikáció és tesztgenerálás komponensalapú reaktív rendszerekhez | ||
| Disszertáció | hu | |
| 2024-04-11 | ||
| Informatikai Tudományok Doktori Iskola | ||
| Villamosmérnöki és Informatikai Kar | ||
| 000732155 | ||
| K-10227 | ||
| 28327 | ||
| Doktori (Ph.D.) értekezés / Ph.D. Thesis | ||
| Budapesti Műszaki és Gazdaságtudományi Egyetem | hu |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 7.94 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 1005.19 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 1004.79 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: