Author Results for Boulanger Jean-Louis

Elsevier Science & Technology
Boulanger, Jean-Louis
Boulanger,Jean-Louis
edited by Jean-Louis Boulanger

1
Certifiable software applications.

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Corporate Authors: Elsevier Science & Technology.
Published: ISTE Press ; Elsevier,
Publication Dates: 2018.
eBook
Save to List
Saved in:
2
Certifiable software applications.

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Published: ISTE Press Ltd. ; Elsevier,
Publication Dates: 2017.
Call Number: TP311.52/B763/v.2
Book
Save to List
Saved in:
3
Certifiable software applications.

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Corporate Authors: Elsevier Science & Technology
Published: ISTE,
Publication Dates: 2016.
eBook
Save to List
Saved in:
4
Certifiable software applications.

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Published: ISTE Press Ltd. ; Elsevier,
Publication Dates: 2016.
Call Number: TP311.52/B763/v.1
Book
Save to List
Saved in:
5
Certifiable software applications.

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Corporate Authors: Elsevier Science & Technology.
Published: ISTE Press,
Publication Dates: 2016.
eBook
Save to List
Saved in:
6
CENELEC 50128 and IEC 62279 standards /

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Published: ISTE ; Wiley,
Publication Dates: 2015.
eBook
Save to List
Saved in:
8
Safety management for software-based equipment /

Cover is for reference only
Main Authors: Boulanger, Jean-Louis
Published: ISTE Ltd ; John Wiley & Sons, Inc.,
Publication Dates: 2013.
Call Number: TP309/B763
Book
Save to List
Saved in:
9
Safety of computer architectures

Cover is for reference only
Group Author: Boulanger Jean-Louis
Published: ISTE Wiley,
Publication Dates: 2010.
Call Number: TP303/S128
Book
Save to List
Saved in:
10
Formal methods applied to complex systems : implementation of the B Method /

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published: ISTE ; Wiley,
Publication Dates: 2014.
Call Number: TP312B/F723
Book
Save to List
Saved in:
11
Formal methods applied to complex systems : implementation of the B Method /

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published: ISTE ; Wiley,
Publication Dates: 2014.
eBook
Save to List
Saved in:
12
Formal methods applied to industrial complex systems /

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published: ISTE, Ltd. ; Wiley,
Publication Dates: 2014.
eBook
Save to List
Saved in:
13
Formal methods : industrial use from model to the code /

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published:
Call Number: F530.63-39/F723
Book
Save to List
Saved in:
16
Industrial use of formal method : formal verification /

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published:
Call Number: TP391.9/I427
Book
Save to List
Saved in:
17
Safety of computer architectures

Cover is for reference only
Group Author: Boulanger, Jean-Louis
Published:
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —