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"
}
Back to top