Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Safety of computer architectures
Safety of computer architectures
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Connect to MyiLibrary resource.
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118600696
John Wiley http://dx.doi.org/10.1002/9781118600696
ebrary http://site.ebrary.com/id/10657623
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Certifiable software applications. 1, Main processes
Certifiable software applications. 1, Main processes
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781785481178
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Industrial used of formal method formal verification
Industrial used of formal method formal verification
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Certifiable software applications. 3, Downward cycle
Certifiable software applications. 3, Downward cycle
Author 
Boulanger, Jean-Louis, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481192
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Certifiable software applications. 2, Support processes
Certifiable software applications. 2, Support processes
Author 
Boulanger, Jean-Louis, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481185
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal methods applied to complex systems : implementation of the B Method
Formal methods applied to complex systems : implementation of the B Method
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342119.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119002727
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal methods applied to industrial complex systems
Formal methods applied to industrial complex systems
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342122.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119004707
Format: 
Availability 
Online Library~1
Available:
Copies: