Activity-Based Abstraction Refinement for Timed Systems
| Farkas, Rebeka | ||
| Hajdu, Ákos | ||
| 2021-04-08T08:29:17Z | ||
| 2021-04-08T08:29:17Z | ||
| 2017 | ||
| http://hdl.handle.net/10890/15205 | ||
| en | ||
| Activity-Based Abstraction Refinement for Timed Systems | ||
| könyvfejezet | ||
| Open access | ||
| Budapest University of Technology and Economics | ||
| January 30-31, 2017 | ||
| Budapest | ||
| 24th PhD Mini-Symposium (Minisy@DMIS 2017) | ||
| 2017 | ||
| ISBN 978-963-313-243-2 | ||
| Budapest University of Technology and Economics | ||
| Proceedings of the 24th PhD Mini-Symposium | ||
| Department of Measurement and Information Systems | ||
| Post print | ||
| 18 | ||
| 20 | ||
| Konferenciacikk | ||
| Budapest University of Technology and Economics |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 24Minisy_proceedings-04.pdf
- Size:
- 352.64 KB
- Format:
- Adobe Portable Document Format
- Description:
- Proceedings of the 24th PhD Mini-Symposium - 004