Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés
Sparad:
| Materialtyp: | Article de revue numérique |
|---|---|
| Språk: | Indéterminée |
| Publicerad: |
Techniques de l'ingénieur
2012.
|
| Länkar: | Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Techniques de l'ingénieur |
| Variante du titre: | Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés |
| LEADER | 01294nam a22001457a 4500 | ||
|---|---|---|---|
| 001 | 1472984 | ||
| 008 | u2032 xxe ||| |||| 00| 0 und d | ||
| 041 | 0 | |a und | |
| 240 | 1 | 0 | |a Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés |
| 245 | 0 | 0 | |a Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés |c Valancogne , Jacques. |
| 260 | |b Techniques de l'ingénieur, |c 2012. | ||
| 500 | |a Techniques de l'ingénieur | ||
| 856 | 4 | |u https://ezproxy.univ-orleans.fr/login?url=https://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/securite-par-secteur-d-activite-et-par-technologie-42159210/methode-b-pour-la-specification-et-la-realisation-de-logiciels-et-de-systemes-critiques-prouves-se2525/ |z Accès Université d'Orléans | |
| 856 | 4 | |u https://ezproxy.insa-cvl.fr/login?qurl=https://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/securite-par-secteur-d-activite-et-par-technologie-42159210/methode-b-pour-la-specification-et-la-realisation-de-logiciels-et-de-systemes-critiques-prouves-se2525/ |z Accès INSA CVL | |
| 997 | |0 1472984 |1 Article de revue numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||