Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995

著者

書誌事項

Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995

edited by Gregor v. Bochmann, Rachida Dssouli and Omar Rafiq

Chapman & Hall on behalf of the International Federationfor Information Processing (IFIP), 1996

大学図書館所蔵 件 / 全2件

この図書・雑誌をさがす

注記

Includes index

内容説明・目次

内容説明

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

目次

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.

「Nielsen BookData」 より

詳細情報

ページトップへ