Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

著者

    • IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification
    • Wu, Jianping
    • Chanson, Samuel T. (Samuel Tin-hung)
    • Gao, Qiang
    • IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols

書誌事項

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao

（The International Federation for Information Processing, 28）

Kluwer Academic, c1999

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

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ