TY  - BOOK
AU  - Boulanger, Jean-Louis
ED  - Pomerol, Jean-Charles 
TI  - Formal methods applied to industrial complex systems
SN  - 9781848216327
U1  - 620.001171 23
PY  - 2014///
CY  - London
PB  - ISTE, 
KW  - Systems engineering
KW  - Data processing
KW  - Computer simulation
KW  - Formal methods (Computer science)
KW  - Software engineering
KW  - Computer software
KW  - Validation
KW  - Industrial safety
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119004707?download=true
ER  -