Mode-Automata: About Modes and States for Reactive Systems.

Florence Maraninchi, Yann Rmond

Browse the full ESOP paper archive.