Formal methods applied to industrial complex systems /
Formal methods applied to industrial complex systems /
Edited by Jean-Louis Boulanger.
- London : ISTE, c 2014.
- xviii, 458 p. : ill. ;
Includes bibliographical references and index.
9781848216327 9781119004707
Systems engineering--Data processing
Formal methods
Software engineering
620.001171
Includes bibliographical references and index.
9781848216327 9781119004707
Systems engineering--Data processing
Formal methods
Software engineering
620.001171
Bengali Keyboard