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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | |
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 : |
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 |