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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Salaün Gwen (Auteur), Oussalah Mourad-Chabane (Directeur de thèse)
Collectivités auteurs : 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)
Format : Thèse ou mémoire
Langue : français
Titre complet : 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
Publié : [S.l.] : [s.n.] , 2003
Description matérielle : 194 p.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2003
Sujets :
Formalisme (mathématiques)
Langages formels
Thèses et écrits académiques
Documents associés : Reproduit comme: Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 03 NANT 2023 Empruntable Disponible
Communication impossible 03 NANT 2023 Exclu du prêt disponible