Publication Details

Design and Verification of Real-Time UML System Models

RÁB, J. Design and Verification of Real-Time UML System Models. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 311-314. ISBN: 0-08-044130-0.

Czech title

Návrh a verifikace modelů systémů pracujících v reálném čase v UML

Type

conference paper

Language

English

Authors

Ráb Jaroslav, Ing.

Keywords

modeling, verification, real-time computer systems

Abstract

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.

Published

2003

Pages

311–314

Proceedings

Programmable Devices and Systems 2003

Series

IFAC Proceedings, Pergamon

ISBN

0-08-044130-0

Publisher

Elsevier Science

Place

Kidlington, Oxford

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