Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems

Metadata only

Author

Date

2011-09

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Formal modeling and analysis of timed systems : 9th international conference : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

6919

Pages / Article No.

193 - 208

Publisher

Springer

Event

9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), Aalborg, Denmark, September 21-23, 2011

Organisational unit

03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection