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
Auteur principal : Salaün Gwen (Auteur)
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)
Autres auteurs : Oussalah Mourad-Chabane (Directeur de 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.
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2003
Disponibilité : Publication autorisée par le jury
Sujets :
Formalisme (mathématiques) > Thèses et écrits académiques
Langages formels > Thèses et écrits académiques

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 03 NANT 2023 Empruntable Disponible
Magasin aérotherme 03 NANT 2023 Exclu du prêt disponible