Back to Results
First PageMeta Content
Differential 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 List

Document Date: 2015-10-05 02:55:26


Open Document

File Size: 4,23 MB

Share Result on Facebook
UPDATE