Back to Results
First PageMeta Content
Dynamical systems / Systems science / Systems theory / Differential equations / Control theory / Hybrid system / Metabolism / Ariadne / Verification / Nonlinear system / Coq / Coenzyme Q10


A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1
Add to Reading List

Document Date: 2010-07-23 02:52:18


Open Document

File Size: 465,42 KB

Share Result on Facebook
UPDATE