• W
  • WIFT
  • 1998
  • Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Advanced Search 
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
Table of Contents
Keynote Speaker I
Tools Session I:
Paper Session I:
Integrating Formal and Informal Specification Techniques. Why? How?
Formal Methods for Developing High Assurance Computer Sytems: Working Group Report
A Discussion about Integrated Techniques
Keynote Speaker II
Tools II:
Paper Session II:
Erich Mikk, Christian-Albrechts Universit?t zu Kiel
Yassine Lakhnech, Christian-Albrechts Universit?t zu Kiel
Michael Siegel, Christian-Albrechts Universit?t zu Kiel
Gerard J. Holzmann, Bell Laboratories
pp. 90
Transferring Formal Methods Technology to Industry
Incorporating Formal Methods into Industrial Processes
Requirements for Industrial-Strength Formal Method Tools
Position Paper:
Usage of this product signifies your acceptance of the Terms of Use.