Formal methods : industrial use from model to the code /

Bibliographic Details
Other Authors:	Boulanger, Jean-Louis
Format:	Book
Language:	English
Published:	London : Hoboken, N.J. : ISTE ; John Wiley & Sons, [2012]
Series:	Industrial implementation of formal methods series.
Subjects:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development.
Online Access:	Publisher description

Publisher description

Remote Storage