Detail publikace
Design and Verification of Real-Time UML System Models
RÁB, J.
Originální název
Design and Verification of Real-Time UML System Models
Anglický název
Design and Verification of Real-Time UML System Models
Jazyk
en
Originální abstrakt
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.
Anglický abstrakt
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.
Dokumenty
BibTex
@inproceedings{BUT16901,
author="Jaroslav {Ráb}",
title="Design and Verification of Real-Time UML System Models",
annote="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.",
address="Elsevier Science",
booktitle="Programmable Devices and Systems 2003",
chapter="16901",
edition="IFAC Proceedings, Pergamon",
institution="Elsevier Science",
year="2003",
month="february",
pages="311--314",
publisher="Elsevier Science",
type="conference paper"
}