Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés
Enregistré dans:
| Format: | Article de revue numérique |
|---|---|
| Langue: | Indéterminée |
| Publié: |
Techniques de l'ingénieur
2012.
|
| Accès en ligne: | Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 |