Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
Jean-Louis Boulanger, Directeur de publication | Paris : Hermès | Informatique et systèmes d'information. Recherche, technologie, applications, ISSN 2111-0360 | DL 2013La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objec[...]
Accueil
