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 pres...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 19-Jan-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475763102)
This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS94) which was held in Tokyo, Japan on November 8-10, 1994. After having been organized in Vancouver (Canada, 1988), Berlin (Germany, 1989), McLean (U...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 11-Jan-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475752601)
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...Loe edasi...
(Ilmumisaeg: 27-May-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540688549)
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. FORT...Loe edasi...
Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Sari: Computer Communication Networks and Telecommunications
(Ilmumisaeg: 26-May-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540685142)
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 h...Loe edasi...
(Ilmumisaeg: 09-Oct-2007, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540755951)
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.The 29 revised full papers presented together with 7 short p...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Jul-2005, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540273240)
The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15–17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organ...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Oct-1997, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412820601)
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...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-Jun-1995, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412711602)
This is the proceedings of the 7th International Workshop on Protocol Test Systems. Its aim is to provide a meeting point between research and industry and between theory and practice of the testing of communication systems, including ATM (Asynchrono...Loe edasi...
