Jean-Louis Boulanger

30 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Details Grid — Show only ebooks?

1 2 Next >

Industrial Use of Formal Methods: Formal Verification

by Jean-Louis Boulanger First published in 2012 — 5 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Scade: Language and Applications

by Jean-Louis Boulanger, Jean-Louis Camus, Bernard Dion, and Fran�ois-Xavier Fornari First published in 2015 — 5 editions

Locate

My Reading Lists:

Create a new list
Formal Methods: Industrial Use from Model to the Code

by Jean-Louis Boulanger First published in 2012 — 5 editions

Locate

My Reading Lists:

Create a new list
Safety Management for Software-Based Equipment

by Jean-Louis Boulanger First published in 2013 — 4 editions

Locate

My Reading Lists:

Create a new list
Formal Methods Applied to Complex Systems

by Jean-Louis Boulanger First published in 2014 — 4 editions

Locate

My Reading Lists:

Create a new list
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method

by Jean-Louis Boulanger First published in 2014 — 4 editions

Locate

My Reading Lists:

Create a new list
Safety of Software-Based Systems

by Jean-Louis Boulanger First published in 2020 — 4 editions

Locate

My Reading Lists:

Create a new list
Static Analysis of Software: The Abstract Interpretation

by Jean-Louis Boulanger First published in 2011 — 4 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Safety of computer architectures

by Jean-Louis Boulanger First published in 2010 — 4 editions

Preview Only

My Reading Lists:

Create a new list
Data Validation

by Jean-Louis Boulanger First published in 2020 — 3 editions

Locate

My Reading Lists:

Create a new list
CENELEC 50128 and IEC 62279 Standards

by Jean-Louis Boulanger First published in 2014 — 3 editions

Locate

My Reading Lists:

Create a new list
Certifiable Software Applications 3: Downward Cycle

by Jean-Louis Boulanger First published in 2018 — 2 editions

Locate

My Reading Lists:

Create a new list
Static Analysis of Software: The Abstract Interpretation

by Jean-Louis Boulanger First published in 2011 — 2 editions

Locate

My Reading Lists:

Create a new list
Safety of Computer Architectures

by Jean-Louis Boulanger First published in 2010 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Safety Management of Software-Based Equipment

by Jean-Louis Boulanger First published in 2013 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Certifiable Software Applications 4: Upward Cycle

by Jean-Louis Boulanger First published in 2019 — 2 editions

Locate

My Reading Lists:

Create a new list
Certifiable Software Applications 2: Support Processes

by Jean-Louis Boulanger First published in 2016 — 2 editions

Locate

My Reading Lists:

Create a new list
B Method

by Jean-Louis Boulanger First published in 2019 — 2 editions

Locate

My Reading Lists:

Create a new list
CENELEC 50128 and IEC 62279 Standards

by Jean-Louis Boulanger First published in 2015 — 1 edition

Locate

My Reading Lists:

Create a new list
Certifiable Software Applications in 4 Volumes

by Jean-Louis Boulanger First published in 2015 — 1 edition

Locate

My Reading Lists:

Create a new list

1 2 Next >

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL6864273A

Links outside Open Library

No links yet. Add one?

History

Created December 4, 2010
1 revision

Download catalog record: RDF / JSON

December 4, 2010

Created by ImportBot

new author

Jean-Louis Boulanger

30 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History