Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés
Guardat en:
| Format: | Article de revue numérique |
|---|---|
| Idioma: | Indéterminée |
| Publicat: |
Techniques de l'ingénieur
2012.
|
| Accés en línia: | Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| Descripció de l’ítem: | Techniques de l'ingénieur |
|---|