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...
Saved in:
| Main Author : | |
|---|---|
| Corporate Author : | |
| Other Authors : | |
| Format : | Thesis |
| Language : | français |
| Title statement : | KORRIGAN : UN FORMALISME ET UNE METHODE POUR LA SPECIFICATION FORMELLE ET STRUCTUREE DE SYSTEMES MIXTES / PASCAL POIZAT; SOUS LA DIR. DE CHRISTINE CHOPPY |
| Published : |
[S.l.] :
[s.n.]
, 2000 |
| Physical Description : | 233 p. |
| Note de thèse : | Thèse de doctorat : Sciences et techniques : Nantes : 2000 |
| Subjects : |
BU Sciences
| Location | Call Number | Loan type | Status |
|---|---|---|---|
| Magasin aérotherme | 00 NANT 2103 | Empruntable | Available |
| Magasin aérotherme | 00 NANT 2103 | Exclu du prêt | Disponible |