A framework for the rigorous design of highly adaptive timed systems.

Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez

Browse the full ICSE paper archive.