A Framework for Formal Verification of Real-Time Systems

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/15246
Gyűjtemény
Cím és alcím
A Framework for Formal Verification of Real-Time Systems
Szerző
Tóth, Tamás
Majzik, István
Megjelenés ideje
2015
Hozzáférés szintje
Open access
Szerzői jog tulajdonosa
Budapest University of Technology and Economics
Konferencia címe
22nd PhD Mini-Symposium
Konferencia helye
Online
Konferencia ideje
2015.02.02
Nyelv
en
Terjedelem
12 - 13
Változat
Published
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of the 22nd PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-151-0
Dokumentumtípus
könyvfejezet
Műfaj
Konferenciacikk
Egyetem
Budapest University of Technology and Economics
Tanszék / Szervezeti egység
Department of Measurement and Information Systems