Formal Modeling of Real-Time Systems with Data Processing

View/Open

Proceedings of the 23rd PhD Mini-Symposium - 011 (652.9Kb)

Metadata

Show full item record

Link to refer to this document:

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

Collections

BME MIT PhD Minisymposium, 2016, 23rd [12]

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