A Framework for Formal Verification of Real-Time Systems

View/Open

Proceedings of the 22nd PhD Mini-Symposium - 002 (133.5Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/15246

Collections

BME MIT PhD Minisymposium, 2015, 22nd [8]

Title: A Framework for Formal Verification of Real-Time Systems
Author: Tóth, Tamás; Majzik, István
Date of issue: 2015
Access level: Open access
Copyright owner: Budapest University of Technology and Economics
Conference title: 22nd PhD Mini-Symposium
Conference place: Online
Conference date: 2015.02.02
Language: en
Page: 12 - 13
Version: Published
Title of the container document: Proceedings of the 22nd PhD Mini-Symposium
ISBN, e-ISBN: ISBN 978-963-313-151-0
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Department: Department of Measurement and Information Systems