Contribution du raffinement à la vérification de systèmes sous hypothèses d'équité

par Samir Chouali

Thèse de doctorat en Automatique et informatique

Sous la direction de Françoise Bellegarde et de Jacques Julliand.

Soutenue en 2003

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

  • Titre traduit

    Contribution of refinement to the verification of systems under assumptions


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse ?

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