Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes

Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes

La spécification est une étape primordiale au cours du développement de systèmes dans un cadre rigoureux. Lorsqu'elle est formelle, elle confère de bonnes qualités au système et rend possible l'obtention de systèmes corrects. Ainsi, les spécifications formelles suivent l'analyse des e...

Full description

Saved in:
Bibliographic Details
Main Author : Salaün Gwen (Auteur)
Corporate Authors : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Other Authors : Oussalah Mourad-Chabane (Directeur de thèse)
Format : Thesis
Language : français
Title statement : Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes / Gwen Salaün; sous la dir. de Mourad Oussalah
Published : [S.l.] : [s.n.] , 2003
Physical Description : 194 p.
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2003
Availability : Publication autorisée par le jury
Subjects :
Formalisme (mathématiques) > Thèses et écrits académiques
Langages formels > Thèses et écrits académiques

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 03 NANT 2023 Empruntable Available
Magasin aérotherme 03 NANT 2023 Exclu du prêt disponible