Teruo Higashino

Tadanori Mizuno

Norio Shiratori

This book presents the latest research results in protocol testing. It contains the complete proceedings of the seventh IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS '94), organized by the International Federation for Information Processing and held in Tokyo, Japan in November 1994. The book presents an alliance between research and industry and between the theory and practice of testing of data communication systems.

7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Protocol Test Systems

Kenji Suzuki

Keiichi Yasumoto

Khaled El-Fakih

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2008

Atsushi Togashi

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

FORTE X / PSTV XVII ’97

Formal Description Techniques and Protocol Specification, Testing and Verification

Kedar Namjoshi

Tomohiro Yoneda

Yoshio Okamura

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Automated Technology for Verification and Analysis

Andreas Ulrich

Toru Hasegawa

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Testing of Software and Communicating Systems

Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr.

8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Principles of Distributed Systems

Yoshiaki Katayama

Toshimitsu Masuzawa

Maria Potop-Butucaru

Masafumi Yamashita

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems

Germany (2001); Sophia Antipolis, France (2002); Oxford, UK (2004); Montr´ eal, Canada (2005); New York, USA (2006) and Tallinn, Estonia (2007).

Teruo Higashino

Books

Your next favorite book is out there