First Page | Document Content | |
---|---|---|
Date: 2010-07-23 02:52:18Dynamical 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. Collins1Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source WebsiteFile Size: 465,42 KBShare Document on Facebook |