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
Pages:311-314
Proceedings:Programmable Devices and Systems 2003
Conference:IFAC Workshop on Programmable Devices and Systems
Series:IFAC Proceedings, Pergamon
Place:Kidlington, Oxford, GB
Year:2003
ISBN:0-08-044130-0
Publisher:Elsevier Science
Keywords
modeling, verification, real-time computer systems
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7381}
}

Your IPv4 address: 54.147.40.153
Switch to IPv6 connection

DNSSEC [dnssec]