Formal methods applied to industrial complex systems /
Boulanger, Jean-Louis,editor.
Includes bibliographical references and index.
Systems engineering
Systems engineering
Formal methods (Computer science)
Software engineering.
Computer software
Industrial safety