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