Formal methods applied to industrial complex systems /

Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger. - 1 online resource. - Computer engineering series . - Computer engineering series (London, England) .

Includes bibliographical references and index.



9781119004707 1119004705 9781119004844 1119004845

10.1002/9781119004707 doi


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.

QA76.9.F67

004.01/51