Publications

Publications de

Communications dans un congrès
  • 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.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par