Detail publikačního výsledku

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Klíčová slova

modeling, verification, real-time computer systems

Klíčová slova v angličtině

modeling, verification, real-time computer systems

Autoři

RÁB, J.

Rok RIV

2011

Vydáno

15.02.2003

Nakladatel

Elsevier Science

Místo

Kidlington, Oxford

ISBN

0-08-044130-0

Kniha

Programmable Devices and Systems 2003

Edice

IFAC Proceedings, Pergamon

Strany od

311

Strany do

314

Strany počet

4

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"
}