Publications

Publications of

Conference papers
  • Iulian Ober, Nicolas Halbwachs

    On the timed automata-based verification of Ravenscar systems

    In : 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, pp. 30-43, June 2008.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by