- ECU Libraries Catalog

Start Over

You searched for: author_facet Boulanger, Jean-Louis

Showing 1 - 10 of 14 results

Search Results

Cover image for Certifiable Software Applications 3

Certifiable Software Applications 3

by Boulanger, Jean-Louis
2018
Format: Electronic

Location
Access Content Online

Cover image for Applications logicielles certifiables. 3, Cycle descendant

Applications logicielles certifiables. 3, Cycle descendant

by Boulanger, Jean-Louis
2018
Format: Electronic

Location
Access Content Online

Cover image for Certifiable software applications. 2, Support processes

Certifiable software applications. 2, Support processes

by Boulanger, Jean-Louis
2017
Format: Electronic

Location
Access Content Online

Cover image for Certifiable software applications 1

Certifiable software applications 1

by Boulanger, Jean-Louis
2016
Format: Electronic

Location
Access Content Online

Cover image for CENELEC 50128 and IEC 62279 standards

CENELEC 50128 and IEC 62279 standards

by Boulanger, Jean-Louis
2015
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems

2014
Format: Electronic

Location
Access Content Online

Cover image for Formal methods applied to complex systems

Formal methods applied to complex systems

2014
Format: Electronic

Location
Access Content Online

Cover image for Safety management for software-based equipment

Safety management for software-based equipment

by Boulanger, Jean-Louis
2013
Format: Electronic

Location
Access Content Online

Cover image for Safety of Computer Architectures

Safety of Computer Architectures

2013
Format: Electronic

Location
Access Content Online

Cover image for Industrial used of formal method

Industrial used of formal method

2012
Format: Book

Location	Call #	Status
Joyner - General Stacks	TA168 .I45 2012	✔ Available