Applications of Formal Methods

Front Cover
Michael Gerard Hinchey, Jonathan Peter Bowen
Prentice Hall, Jan 1, 1995 - Technology & Engineering - 447 pages
0 Reviews
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Using Mathematical Models in the Inspection
Gaining Assurance with Formal Methods
Formal Specification of an Architecture for

15 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

About the author (1995)

Hinchey, University of Nebraska, Omaha and University of Limerick, Ireland.

Bibliographic information