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. .
<br/><br/>Includes bibliographical references at the end of each chapters and index 
<br/><br/><label>ISBN: </label>9781848216327 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer--Aided design<br/>Computer engineering<br/>Systems engineering