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

Petit panorama des méthodes de fiabilisation des logiciels
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