Detail publikace

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.
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
anglicky
Autoři
Ráb Jaroslav, Ing.
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
ISBN
0-08-044130-0
Vydavatel
Elsevier Science
Místo
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"
}
Nahoru