A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq

2010-07-01

Presented at the International Workshop on Numerical Software Verification, Edinburgh, UK

Additional Metadata
THEME	Life Sciences (theme 5), Energy (theme 4), Software (theme 1)
Publisher	Federated Logic Conference (FLoC 2010)
Editor	G.E. Fainekos , E. Goubault , S. Putot
Project	Mending the Unending: Machine Assisted Reasoning with Infinite Objects
Conference	International Workshop on Numerical Software Verification
Organisation	Scientific Computing
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Collins, P., Niqui, M., & Revol, N. (2010). A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq. In G. E. Fainekos, E. Goubault, & S. Putot (Eds.), Proceedings of International Workshop on Numerical Software Verification 2010 (NSV-3). Federated Logic Conference (FLoC 2010).

Publication