The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.
320, avenue Archimède Les Pléiades III – bât A 13 857 Aix en Provence Cedex 3 France Téléphone : +33(0)4.42.37.12.70 Télécopie : +33(0)4.42.37.12.71 .
On an Instationary Mixed ODE/PDE Optimal Control Problem with State-Constraints and Free End Time
