Auteur Boulanger, Jean-Louis
Documents disponibles écrits par cet auteur (3)
Affiner la recherche
texte imprimé
Boulanger, Jean-Louis, Directeur de publication | Paris : Hermes Science Publications | Traité IC2 | 2009Actuellement la littérature met à disposition des étudiants de master 2 des livres très généraux sur les aspects Sûreté de Fonctionnement et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans [...]
texte imprimé
Boulanger, Jean-Louis, Directeur de publication | Paris : Hermes Science Publications | IC2. Informatique et systèmes d'information | 2011Cet ouvrage collectif présente des exemples d'architecture industrielle à base de calculateur et/ou d'automate qui doivent être sécurisés afin de garantir les objectifs de sûreté de fonctionnement qui leurs sont associés. Le but de l'ouvrage Sé[...]
texte imprimé
Boulanger, Jean-Louis, Directeur de publication | Paris : Hermes Science Publications | Recherche, technologie, applications, ISSN 2111-0360 | 2011Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première m[...]
