Formal methods applied to industrial complex systems /
Formal methods applied to industrial complex systems /
edited by Jean-Louis Boulanger
- Hoboken, NJ : ISTE Ltd/John Wiley and Sons Inc, 2014
- xviii, 458 p. : ill. ; 24 cm.
- Computer engineering series .
- Computer engineering series. .
Includes bibliographical references at the end of each chapters and index
9781848216327
Computer--Aided design
Computer engineering
Systems engineering
Includes bibliographical references at the end of each chapters and index
9781848216327
Computer--Aided design
Computer engineering
Systems engineering