Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés : Dossier complet | Techniques de l’Ingénieur

Article de référence | Réf : SE2525 v1

Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Auteur(s) : Jacques VALANCOGNE

Date de publication : 10 janv. 2012