Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems. - 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
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

Export

All authors

Damm, W. and Pinto, G. and Ratschan, S.

Booktitle

Automated Technology for Verification and Analysis (ATA)

Publishing date

01 / 2005

ISBN / ISSN

1

Type of Publication

inproceedings

Publisher

Springer-Verlag

Series

Lecture Notes in Computer Science 3707

Editor

Springer-Verlag

Privacy Data Transparency Contact Legals