Publications de
Iulian Ober, Nicolas Halbwachs
On the timed automata-based verification of Ravenscar systems
Dans : International Conference on Reliable Software Technologies – Ada-Europe 2008, Venise, Italie, 16/06/08-20/06/08, Tullio Vardanega, Fabrice Kordon (Eds.), Springer, LNCS 5026, p. 30-43, juin 2008.