Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • Nancy 1 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique. Systèmes et communication (1)
  • Mathématiques et Informatique (1)
  • Médecine (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (2)
    • anglais (1)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • André Jean-Marie (1)
    • Maraninchi Florence (1)
    • Raymond Pascal (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (2)
    • Médecine et santé (1)

    Domaines :

    Fullscreen

    3 thèses pour "Simulation Précoce"

    ...), Vérification Basée sur Assertions(ABV), Contracts et Spécifications, Stubbing, Simulation Précoce....

    Accéder en ligne
    Informatique. Systèmes et communication

    Soutenue en 2004
    thèse soutenue

    Résultats 1 à 3