Formal methods applied to industrial complex systems /

Bibliographic Details
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:
Online Access:Full Text via HEAL-Link
Description
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and index.
ISBN:9781119004707
1119004705
9781119004844
1119004845
DOI:10.1002/9781119004707