An International Survey of Industrial Applications of Formal Methods, Vol. 2
Language: en
Pages: 188

An International Survey of Industrial Applications of Formal Methods, Vol. 2

Authors:
Categories:
Type: BOOK - Published: 1995 - Publisher:

GET EBOOK

Formal methods are mathematically based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design, and analyz
An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies
Language: en
Pages: 151

An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies

Authors:
Categories:
Type: BOOK - Published: 1993 - Publisher:

GET EBOOK

Formal methods are mathematically based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design, and analyz
An International Survey of Industrial Applications of Formal Methods. Volume 1: Purpose, Approach, Analysis, and Conclusions
Language: en
Pages: 100

An International Survey of Industrial Applications of Formal Methods. Volume 1: Purpose, Approach, Analysis, and Conclusions

Authors:
Categories:
Type: BOOK - Published: 1993 - Publisher:

GET EBOOK

Formal methods are mathematically based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design, and analyz
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:

GET EBOOK

Scientific and Technical Aerospace Reports
Language: en
Pages: 704

Scientific and Technical Aerospace Reports

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

GET EBOOK