Nantilus
KORRIGAN : UN FORMALISME ET UNE METHODE POUR LA SPECIFICATION FORMELLE ET STRUCTUREE DE SYSTEMES MIXTES
L'EMPLOI DES SPECIFICATIONS FORMELLES EST D'UNE GRANDE IMPORTANCE, TOUT PARTICULIEREMENT POUR LE DEVELOPPEMENT DE SYSTEMES DITS SECURITAIRES OU CRITIQUES. LES SPECIFICATIONS MIXTES ONT POUR BUT DE PERMETTRE L'EXPRESSION DES DIFFERENTS ASPECTS QUE PEUVENT PRESENTER CES SYSTEMES : STATI...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | KORRIGAN : UN FORMALISME ET UNE METHODE POUR LA SPECIFICATION FORMELLE ET STRUCTUREE DE SYSTEMES MIXTES / PASCAL POIZAT; SOUS LA DIR. DE CHRISTINE CHOPPY |
| Publié : |
[S.l.] :
[s.n.]
, 2000 |
| Description matérielle : | 233 p. |
| Note de thèse : | Thèse de doctorat : Sciences et techniques : Nantes : 2000 |
| Sujets : |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin aérotherme | 00 NANT 2103 | Empruntable | Disponible |
| Magasin aérotherme | 00 NANT 2103 | Exclu du prêt | Disponible |