Language: English
Help
圖資館首頁
Login
Languages
Jump To : Overview | Titles | Subjects

Boulanger, Jean-Louis.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Formal methods applied to complex systemsimplementation of the B Method / by: Boulanger, Jean-Louis. (Electronic resources)
Formal methodsindustrial use from model to the code / by: Boulanger, Jean-Louis. (Electronic resources)
Safety management for software-based equipment by: Boulanger, Jean-Louis. (Electronic resources)
Formal methods applied to industrial complex systems by: Boulanger, Jean-Louis. (Electronic resources)
Industrial used of formal methodformal verification / by: Boulanger, Jean-Louis. (Electronic resources)
 
 
Change password
Login