A Framework for Formal Verification of Real-Time Systems
| Tóth, Tamás | ||
| Majzik, István | ||
| 2021-04-19T14:35:18Z | ||
| 2021-04-19T14:35:18Z | ||
| 2015 | ||
| http://hdl.handle.net/10890/15246 | ||
| en | ||
| A Framework for Formal Verification of Real-Time Systems | ||
| könyvfejezet | ||
| Open access | ||
| Budapest University of Technology and Economics | ||
| 2015.02.02 | ||
| Online | ||
| 22nd PhD Mini-Symposium | ||
| 2015 | ||
| ISBN 978-963-313-151-0 | ||
| Budapest University of Technology and Economics | ||
| Online | ||
| Proceedings of the 22nd PhD Mini-Symposium | ||
| Department of Measurement and Information Systems | ||
| Published | ||
| 12 | ||
| 13 | ||
| Konferenciacikk | ||
| Budapest University of Technology and Economics |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- phd_minisymposium_22_02.pdf
- Size:
- 133.6 KB
- Format:
- Adobe Portable Document Format
- Description:
- Proceedings of the 22nd PhD Mini-Symposium - 002