Related Books

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Language: en
Pages: 319

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Authors: Dan Craigen
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: William Andrew

DOWNLOAD EBOOK

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze
Scientific and Technical Aerospace Reports
Language: en
Pages: 772

Scientific and Technical Aerospace Reports

Authors:
Categories: Aeronautics
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Publications of the National Institute of Standards and Technology ... Catalog
Language: en
Pages: 230

Publications of the National Institute of Standards and Technology ... Catalog

Authors: National Institute of Standards and Technology (U.S.)
Categories:
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Discrete Event Systems
Language: en
Pages: 500

Discrete Event Systems

Authors: R. Boel
Categories: Science
Type: BOOK - Published: 2000-07-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-2
FME '96: Industrial Benefit and Advances in Formal Methods
Language: en
Pages: 724

FME '96: Industrial Benefit and Advances in Formal Methods

Authors: Marie-Claude Gaudel
Categories: Business & Economics
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w