Présentation
AUTEUR(S)
-
Patrick BELLOT
-
Jean-Philippe COTTIN
-
Jean-François MONIN
INTRODUCTION
Cet article est disponible uniquement en version PDF.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
DOI (DIGITAL OBJECT IDENTIFIER)
Développement et validation de logiciels. Méthodes formelles
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
