Formal methods applied to industrial complex systems /

• Other Authors: Boulanger, Jean-Louis (Editor)
• Format: eBook
• Language: English
• Published: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014.
• Series: Computer engineering series (London, England)
• Subjects: Formal methods (Computer science); Industrial management > Mathematical models.; TECHNOLOGY & ENGINEERING > Engineering (General); TECHNOLOGY & ENGINEERING > Reference.; Electronic books.