Boulanger, Jean-Louis, 1966-....
Boulanger, Jean-Louis
Jean-Louis Boulanger Francouzský informatik. Publikace z oboru.
VIAF ID: 95357769 ( Personal )
Permalink: http://viaf.org/viaf/95357769
Preferred Forms
- 200 _ | ‡a Boulanger ‡b Jean-Louis ‡f 1966-....
-
- 100 1 _ ‡a Boulanger, Jean-Louis
- 100 1 _ ‡a Boulanger, Jean-Louis
-
-
-
- 100 1 _ ‡a Boulanger, Jean-Louis ‡d 1966-
-
-
- 100 1 _ ‡a Boulanger, Jean-Louis, ‡d 1966-....
- 100 0 _ ‡a Jean-Louis Boulanger ‡c Francouzský informatik. Publikace z oboru.
Works
Title | Sources |
---|---|
Applications logicielles certifiables. | |
Automatisation intégrale de la ligne 1 : étude et modélisation du trafic mixte | |
Démarche de conception formelle pour systèmes mécatroniques critiques automobiles. | |
Downward cycle | |
Étude des processus psychologiques impliqués dans l'épreuve du house-tree-person. | |
Expression and validation of logical and physical safety properties for software-based critical systems. | |
Expression et validation des exigences de sécurité : exemple de mise en oeuvre dans les systèmes critiques à base de logiciel | |
Formal methods applied to industrial complex systems | |
Formalisation des fautes de circuits numériques et vérification de la sûreté de fonctionnement des circuits numériques en présence de fautes | |
Formalization of digital circuit faults for safety verification of digital circuits in the presence of faults. | |
Impact des postes centraux de supervision de trafic ferroviaire sur la sécurité | |
Impact of the automatic train supervision systems on safety. | |
Industrial use of formal method : formal verification | |
Ingénierie des exigences méthodes et bonnes pratiques pour construire et maintenir un référentiel | |
Line 1 upgrade into unattended train operation : case study and modelling of the mixed traffic. | |
Main processes | |
Mise en oeuvre de la méthode B | |
Mise en oeuvre des normes CENELEC 50128 et IEC 62279. | |
Ontology centric design process : Sharing a conceptualization | |
Proof Automation for Atelier B Rules Verification. | |
Safety management for software-based equipment | |
Safety of computer architectures, 2010: | |
Sécurisation des architectures informatiques | |
Utilisations industrielles des techniques formelles interprétation abstraite |