Résultats 1 à 9

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • Rennes 1 (3)
  • Cachan, Ecole normale supérieure (1)
  • Grenoble (1)
  • Paris, CNAM (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
    • MATISSE (2)
    • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
    • Mathématiques, Sciences et technologies de l'information, Informatique (1)
    • École doctorale Informatique, télécommunications et électronique (Paris) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (7)
    • français (3)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Blazy Sandrine (2)
    • Jensen Thomas (2)
    • Pétrot Frédéric (2)
    • Dubois Catherine (1)
    • Jaume Mathieu (1)
    • Lang Frédéric (1)
    • Mateescu Radu (1)
    • Monniaux David (1)
    • Soutif Eric (1)
    • Termier Alexandre (1)
    • Viêt Triêm Tông Valérie (1)
    • Yakobowski Boris (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (8)
    • Informatique, information, généralités (1)

    Domaines :

    Fullscreen

    ...’un compilateur.AbstractAn end-to-end guarantee of software correctness by formal veri!cation must consider two...

    Accéder en ligne

    ...and State of the Art2.4 The CADP toolbox for the verication of asynchronoussystemsCADP is a modular...

    Accéder en ligne

    ...arguments to a primitive arithmetic operation or using an integer as a pointer.1.1. Formal Verication of...

    Accéder en ligne

    ...programmers rely on the com-mon implementation of unspecified behaviors by current com-pilers, without any...

    Accéder en ligne

    Résultats 1 à 9