An Efficient Approach for Abstraction-Refinement Verification of Hybrid Systems.

Details

Language :

English

ISBNs :

9781424408184

Database :

Complementary Index

Journal :

2007 IEEE International Conference on Control & Automation

Publication Type :

Conference

Accession number :

80903673

Full Text :

https://doi.org/10.1109/ICCA.2007.4376759