First Page | Document Content | |
---|---|---|
Date: 2015-10-05 02:55:26Differential equations Mathematics Hybrid automaton Hybrid system Systems science X0 Center FO Systems theory | Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,Add to Reading ListSource URL: www.avacs.orgDownload Document from Source WebsiteFile Size: 4,23 MBShare Document on Facebook |