Items related to Formal Methods for Trustworthy Computer Systems (FM89):...
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada - Softcover
Synopsis
1 Introduction.- 2 Workshop Organization.- 3 Critical Systems.- 4 Formal Methods.- 5 Reports From Working Groups.- 6 Concluding Discussions.- 7 Conclusions and Recommendations.- A Participants.- B Potential Applications for Formal Methods.- C Respondents' Papers.- C.1 Formal Methods and Critical Systems in the Real World.- C.2 Whither Formal Methods?.- D Illustrative Risks to the Public in the Use of Computer Systems and Related Technology.- E A Survey of Formal Methods and Techniques.- F Acronyms.- G Copyrights and Trademarks.- References.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
