Conference paper

RÁB Jaroslav. Design and Verification of Real-Time UML System Models. In: Programmable Devices and Systems 2003. Kidlington, Oxford: Elsevier Science, 2003, pp. 311-314. ISBN 0-08-044130-0.
Publication language:english
Original title:Design and Verification of Real-Time UML System Models
Title (cs):Návrh a verifikace modelů systémů pracujících v reálném čase v UML
Proceedings:Programmable Devices and Systems 2003
Conference:IFAC Workshop on Programmable Devices and Systems
Series:IFAC Proceedings, Pergamon
Place:Kidlington, Oxford, GB
Publisher:Elsevier Science
modeling, verification, real-time computer systems
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.
   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 = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]