Opening book details…
Can I read Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 on EtoBox?
Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 by Reinhard Gotzhein, Jan Bredereke (eds.) is a nonfiction available to read on EtoBox.
What is Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 about?
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Who reads Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Reinhard Gotzhein, Jan Bredereke (eds.)
- Publisher
- Springer International Publishing
- Published
- 1996
- Language
- EN
- ISBN
- 9780387350790
- Category
- nonfiction
- Subjects
- Engineering, Stem
More by Reinhard Gotzhein, Jan Bredereke (eds.)
Browse all works by Reinhard Gotzhein, Jan Bredereke (eds.)
Similar books
- Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France — Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (1998)
- Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan — Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (1997)
- 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 — A. Petrenko, S. Boroday, R. Groz (auth.), Jianping Wu, Samuel T. Chanson, Qiang Gao (1999)
- Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 — Piotr Dembiński, Marek Średniawa (1996)
- Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology) — Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (1995)
- Formal description techniques VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 — Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq (1996)