Formal Modeling of Real-Time Systems with Data Processing

Contributor - Author	Tóth, Tamás
Contributor - Author	Majzik, István
Date - Accessioned	2021-01-25T13:45:42Z
Date - Available	2021-01-25T13:45:42Z
Date - Issued	2016
Identifier - URI	http://hdl.handle.net/10890/15125
Language	en
Title	Formal Modeling of Real-Time Systems with Data Processing
Type	könyvfejezet
Accessrights	Open access
Rightsholder	Budapest University of Technology and Economics
Conference Date	February 8-9, 2016
Conference Place	Online
Conference Title	23rd PhD Mini-Symposium
Container Date Issued	2016
Container Identifier ISBN	ISBN 978-963-313-220-3
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 23rd PhD Mini-Symposium
Department	Department of Measurement and Information Systems
Description Version	Published
First Page	46
Last Page	49
Subject Area	Műszaki tudományok
Subject Field	Informatikai tudományok
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1