TY  - BOOK
AU  - Boulanger,Jean-Louis
TI  - Formal methods applied to industrial complex systems
T2  - Computer engineering series
SN  - 9781848216327
PY  - 2014///
CY  - Hoboken, NJ
PB  - ISTE Ltd/John Wiley and Sons Inc
KW  - Computer
KW  - Aided design
KW  - Computer engineering
KW  - Systems engineering
N1  - Includes bibliographical references at the end of each chapters and index
ER  -