Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Boulanger, Jean-Louis.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods applied to industrial complex systems by: Boulanger, Jean-Louis. (Electronic resources)

Formal methods = industrial use from model to the code / by: Boulanger, Jean-Louis. (Electronic resources)

Industrial used of formal method = formal verification / by: Boulanger, Jean-Louis. (Electronic resources)

Safety management for software-based equipment by: Boulanger, Jean-Louis. (Electronic resources)

Formal methods applied to complex systems = implementation of the B Method / by: Boulanger, Jean-Louis. (Electronic resources)

Subjects

Nondestructive testing. Computer security. Computer simulation. Application software- Development. Formal methods (Computer science) Computer software- Verification. B method (Computer science) Industrial management- Mathematical models. Systems engineering- Data processing. Railroads- Management

Change password

Login