Constructing Test Automata from Graphical Real-Time Requirements - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Constructing Test Automata from Graphical Real-Time Requirements

Constructing Test Automata from Graphical Real-Time Requirements

Export

All authors

Dierks, H. and Lettrari, M.

Booktitle

Formal Techniques in Real-Time and Fault-Tolerant Systems

Publishing date

01 / 2002

Type of Publication

inproceedings

Publisher

Springer Verlag

Series

LNCS

Pages

433-453

Editor

Springer Verlag

Privacy Data Transparency Contact Legals