Result Details
Design and Verification of Real-Time UML System Models
RÁB, J. Design and Verification of Real-Time UML System Models. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 311-314. ISBN: 0-08-044130-0.
Type
conference paper
Language
English
Authors
Ráb Jaroslav, Ing., FIT (FIT)
Abstract
The paper presents a methodology for real-time systems design including related verification technique, and their capability for verification of real-time requirements with time-bounded constraints.
Keywords
modeling, verification, real-time computer systems
Published
2003
Pages
311–314
Proceedings
Programmable Devices and Systems 2003
Series
IFAC Proceedings, Pergamon
Conference
IFAC Workshop on Programmable Devices and Systems
ISBN
0-08-044130-0
Publisher
Elsevier Science
Place
Kidlington, Oxford
BibTeX
@inproceedings{BUT16901,
author="Jaroslav {Ráb}",
title="Design and Verification of Real-Time UML System Models",
booktitle="Programmable Devices and Systems 2003",
year="2003",
series="IFAC Proceedings, Pergamon",
pages="311--314",
publisher="Elsevier Science",
address="Kidlington, Oxford",
isbn="0-08-044130-0"
}
Projects
Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Departments