Abstraction refinement-based verification of timed automata
| Majzik, István | ||
| Tóth, Tamás | ||
| 2021-10-12T13:01:28Z | ||
| 2021-10-12T13:01:28Z | ||
| 2021 | ||
| http://hdl.handle.net/10890/15788 | ||
| en | hu_HU | |
| Abstraction refinement-based verification of timed automata | hu_HU | |
| Időzített automaták absztrakciófinomítás-alapú verifikációja | hu_HU | |
| Disszertáció | hu | |
| 2021-11-26 | ||
| Informatikai Tudományok Doktori Iskola | hu_HU | |
| Villamosmérnöki és Informatikai Kar | hu_HU | |
| 000723788 | ||
| K-9908 | ||
| Doktori (Ph.D.) értekezés / 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:
- 1.39 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 525.52 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 519.16 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: