[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD)...

  • Main
  • [IEEE 2014 Formal Methods in...

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Under-approximate flowpipes for non-linear continuous systems

Rwth, Xin Chen, Sankaranarayanan, Sriram, Abraham, Erika
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2014
Language:
english
DOI:
10.1109/fmcad.2014.6987596
File:
PDF, 764 KB
english, 2014
Conversion to is in progress
Conversion to is failed