Formal Analysis of Robustness at Model and Code Level

Timothy Wang, Pierre-Loic Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
January 2016
Cite
Type
Conference paper
Publication
19th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'16, Vienna, Austria, April 12-14, 2016
"own"
Pierre Roux
Pierre Roux
Researcher at Onera
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related