Search Results for Boulanger, Jean-Louis.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

Boulanger, Jean-Louis.

(3)

Boulanger, Jean-Louis, author.

(2)

Boulanger, Jean-Louis, editor.

(2)

Language

(7)

Publication Date

-

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Application software -- Development.

(3)

Formal methods (Computer science)

(3)

Avionics -- Safety measures.

(1)

B method (Computer science)

(1)

Computer architecture.

(1)

Computer security.

(1)

Computer simulation.

(1)

Computer software -- Verification.

(1)

Computer systems -- Reliability.

(1)

Industrial management -- Mathematical models.

(1)

Nondestructive testing.

(1)

Software engineering.

(1)

Systems engineering -- Data processing.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

7 Results Found

Subscribe to search results

1

0000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Safety of computer architectures

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

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

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

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

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

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

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:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11