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

Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation
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