Formal Analysis of Robustness at Model and Code Level

Timothy Wang, Pierre-Loic Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
January 2016
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

Related