Publication Details
Design and Verification of Real-Time UML System Models
RÁB Jaroslav. Design and Verification of Real-Time UML System Models. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, pp. 311-314. ISBN 0-08-044130-0.
Czech title
Návrh a verifikace modelů systémů pracujících v reálném čase v UML
Type
conference paper
Language
english
Authors
Ráb Jaroslav, Ing. (DIFS FIT BUT)
Keywords
modeling, verification, real-time computer systems
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.
Published
2003
Pages
311-314
Proceedings
Programmable Devices and Systems 2003
Series
IFAC Proceedings, Pergamon
Conference
IFAC Workshop on Programmable Devices and Systems, Ostrava, CZ
ISBN
0-08-044130-0
Publisher
Elsevier Science
Place
Kidlington, Oxford, GB
BibTeX
@INPROCEEDINGS{FITPUB7381, author = "Jaroslav R\'{a}b", title = "Design and Verification of Real-Time UML System Models", pages = "311--314", booktitle = "Programmable Devices and Systems 2003", series = "IFAC Proceedings, Pergamon", year = 2003, location = "Kidlington, Oxford, GB", publisher = "Elsevier Science", ISBN = "0-08-044130-0", language = "english", url = "https://www.fit.vut.cz/research/publication/7381" }