Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq · 1996
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.