Detail publikace

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, s. 311-314. ISBN 0-08-044130-0.
Název česky
Návrh a verifikace modelů systémů pracujících v reálném čase v UML
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Klíčová slova

modelování, verifikace, systém pracující v reálném čase

Abstrakt

Tento článek prezentuje motodologii pro návrh systémů pracujících v reálném čase s návazností na verifikaci. Dále se zaměřuje na možnosti verifikace požadavků pro časová omezení.

Rok
2003
Strany
311-314
Sborník
Programmable Devices and Systems 2003
Řada
IFAC Proceedings, Pergamon
Konference
IFAC Workshop on Programmable Devices and Systems, Ostrava, CZ
ISBN
0-08-044130-0
Vydavatel
Elsevier Science
Místo
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"
}
Nahoru