Formal methods applied to industrial complex systems - Boulanger, Jean-Louis (London : ISTE, Ltd. ; Hoboken, NJ : Wiley, 2014)
Includes bibliographical references and index.
Online resource; title from PDF title page (Wiley, viewed Aug. 13, 2014).
Keywords: Formal methods (Computer science); Industrial management -- Mathematical models; TECHNOLOGY & ENGINEERING -- Engineering (General); TECHNOLOGY & ENGINEERING -- Reference; Formal methods (Computer science); Industrial management -- Mathematical models; Electronic books