Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha. Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. In Radhia Cousot, Matthieu Martel, editors, Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Volume 6337 of Lecture Notes in Computer Science, pages 373-389, Springer, 2010. [doi]

This author has not been identified. Look up 'Nadir Matringe' in GoogleThis author has not been identified. Look up 'Arnaldo Vieira Moura' in GoogleThis author has not been identified. Look up 'Rachid Rebiha' in Google

runs on WebDSL