Jean-Louis Boulanger

24 featured booksJean-Louis Boulanger

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL6864273A

Overview

Catalog identity and bibliographic footprint for this author.

24 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
Jean-Louis Boulanger
Personal name
Jean-Louis Boulanger
Source identifier
OL6864273A

Featured books

Representative editions for works actually authored by this person.

CS
Image source: Open Library
Certifiable Software Applications 4
Certifiable Software Applications 4 | 2019
Representative edition for this work grouping in the active catalog.
cover
C5
Image source: Open Library
Cenelec 50128 And Iec 62279 Standards
Cenelec 50128 And Iec 62279 Standards | 2014
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Formal Methods Applied to Industrial Complex Systems (Computer Engineering) | 2014
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley)) | 2014
Representative edition for this work grouping in the active catalog.
cover
ME
Image source: Open Library
Mise en Uvre des Normes CENELEC 50128 et IEC 62279
Mise en Uvre des Normes CENELEC 50128 et IEC 62279 | 2014
Representative edition for this work grouping in the active catalog.
cover
SM
Image source: Open Library
Safety Management of Software-Based Equipment
Safety Management of Software-Based Equipment | 2013
Representative edition for this work grouping in the active catalog.
cover
SO
Image source: Open Library
Safety of computer architectures
Safety of computer architectures | 2010
Representative edition for this work grouping in the active catalog.
cover
Data ValidationJean-Louis Boulanger
DV
Data Validation
Data Validation | 2021
Representative edition for this work grouping in the active catalog.
no cover
B MethodJean-Louis Boulanger
BM
B Method
B Method | 2020
Representative edition for this work grouping in the active catalog.
no cover
ScadeJean-Louis Boulanger
S
Scade
Scade | 2020
Representative edition for this work grouping in the active catalog.
no cover
Safety of Software-Based SystemsJean-Louis Boulanger
SO
Safety of Software-Based Systems
Safety of Software-Based Systems | 2020
Representative edition for this work grouping in the active catalog.
no cover
Certifiable Software Applicatio...Jean-Louis Boulanger
CS
Certifiable Software Applications 3
Certifiable Software Applications 3 | 2018
Representative edition for this work grouping in the active catalog.
no cover
Applications Logicielles Certif...Jean-Louis Boulanger
AL
Applications Logicielles Certifiables 2
Applications Logicielles Certifiables 2 | 2017
Representative edition for this work grouping in the active catalog.
no cover
Certifiable Software Applicatio...Jean-Louis Boulanger
CS
Certifiable Software Applications 2
Certifiable Software Applications 2 | 2016
Representative edition for this work grouping in the active catalog.
no cover
Certifiable Software Applicatio...Jean-Louis Boulanger
CS
Certifiable Software Applications 1
Certifiable Software Applications 1 | 2016
Representative edition for this work grouping in the active catalog.
no cover
Control Build ImplementationJean-Louis Boulanger
CB
Control Build Implementation
Control Build Implementation | 2016
Representative edition for this work grouping in the active catalog.
no cover
Techniques de Sécurisation des...Jean-Louis Boulanger
TD
Techniques de Sécurisation des Applications à Base de Logiciel
Techniques de Sécurisation des Applications à Base de Logiciel | 2015
Representative edition for this work grouping in the active catalog.
no cover
CENELEC 50128 and IEC 62279 Sta...Jean-Louis Boulanger
C5
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards | 2015
Representative edition for this work grouping in the active catalog.
no cover
Certifiable Software Applicatio...Jean-Louis Boulanger
CS
Certifiable Software Applications in 4 Volumes
Certifiable Software Applications in 4 Volumes | 2015
Representative edition for this work grouping in the active catalog.
no cover
Formal Methods Applied to Indus...Jean-Louis Boulanger
FM
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems | 2014
Representative edition for this work grouping in the active catalog.
no cover
Formal Methods Applied to Compl...Jean-Louis Boulanger
FM
Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems | 2014
Representative edition for this work grouping in the active catalog.
no cover
Static Analysis of SoftwareJean-Louis Boulanger
SA
Static analysis of software
Static Analysis of Software | 2013
Representative edition for this work grouping in the active catalog.
no cover
Industrial Use of Formal MethodsJean-Louis Boulanger
IU
Industrial Use of Formal Methods
Industrial Use of Formal Methods | 2013
Representative edition for this work grouping in the active catalog.
no cover
Safety Management for Soft...Jean-Louis Boulanger
SM
Safety Management for Software-Based Equipment
Safety Management for Software-Based Equipment | 2013
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.