Formal Modeling of Real-Time Systems with Data Processing
Metadata
Show full item recordCollections
- Title
- Formal Modeling of Real-Time Systems with Data Processing
- Author
- Tóth, Tamás
- Majzik, István
- Date of issue
- 2016
- Access level
- Open access
- Copyright owner
- Budapest University of Technology and Economics
- Conference title
- 23rd PhD Mini-Symposium
- Conference place
- Online
- Conference date
- February 8-9, 2016
- Language
- en
- Page
- 46 - 49
- Version
- Published
- Title of the container document
- Proceedings of the 23rd PhD Mini-Symposium
- ISBN, e-ISBN
- ISBN 978-963-313-220-3
- Document type
- könyvfejezet
- Document genre
- Konferenciacikk
- Subject area
- Műszaki tudományok
- Field
- Informatikai tudományok
- University
- Budapest University of Technology and Economics
- Department
- Department of Measurement and Information Systems