Partial order techniques for the analysis and synthesis of hybrid and embedded systems.

Details

Language :

English

ISBNs :

9781424414970

Database :

Complementary Index

Journal :

2007 46th IEEE Conference on Decision & Control

Publication Type :

Conference

Accession number :

80872062

Full Text :

https://doi.org/10.1109/CDC.2007.4435053