Raffiner pour vérifier des systèmes paramétrés

par Célina Charlet

Thèse de doctorat en informatique

Sous la direction de Françoise Bellegarde.

Soutenue en 2003

à Besançon , en partenariat avec Université de Franche-comté. UFR des sciences et techniques (autre partenaire) .

  • Titre traduit

    Using refinement to verify parameterized systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 158 p.; 30 cm
  • Notes : Reproduction de la thèse autorisée
  • Annexes : Bibliogr. p.151-157

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Cote : SCI.BESA.2003.83
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.