TY  - BOOK
AU  - Boulanger,Jean-Louis
TI  - Formal methods applied to industrial complex systems
T2  - Computer engineering series
SN  - 9781119004707
AV  - QA76.9.F67 
U1  - 004.01/51 23
PY  - 2014///
CY  - London, Hoboken, NJ
PB  - ISTE, Ltd., Wiley
KW  - Formal methods (Computer science)
KW  - Industrial management
KW  - Mathematical models
KW  - TECHNOLOGY & ENGINEERING
KW  - Engineering (General)
KW  - bisacsh
KW  - Reference
KW  - fast
KW  - Electronic books
N1  - Includes bibliographical references and index; cse
UR  - http://dx.doi.org/10.1002/9781119004707
ER  -