Testing of Communicating Systems (vol. # 3502) 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

Testing of Communicating Systems (vol. # 3502) 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dssouli, Rachida, Khendek, Ferhat
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Subjects:	Computer Communication Networks Software engineering
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Testing of communicating systems (vol. # 3964) : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings /
Published: (2006)

Distributed applications and interoperable systems (vol. # 3543) / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Published: (2005)

Distributed applications and interoperable systems (vol. # 4025) : 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 /
Published: (2006)

Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Published: (2005)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1
Published: (2001)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1
Published: (2001)

Intelligence in communication systems IFIP international conference on intelligence in communication systems, INTELLCOMM 2005 Montreal, Canada, October 17-19, 2005 /
Published: (2005)

Intelligence in communication systems IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005, Montreal, Canada, October 17-19, 2005 /
Published: (2005)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Published: (2012)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Published: (2010)

Artificial immune systems (vol. # 3627) : 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings /

Communications and multimedia security (vol. # 4237) : 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings /

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Formal methods for open object-based distributed systems (vol. # 4037) : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
Published: (2006)

Communications and multimedia security 11th IFIP TC 6/TC 11 international conference, CMS 2010, Linz, Austria, May 31,June 2, 2010. Proceedings /
by: Decker, Bart
Published: (2010)

Communications and multimedia security : 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings
Published: (2005)

Communications and multimedia security : 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings /

Wired (vol. # 3510) Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings
by: Braun, Torsten
Published: (2005)

Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
by: Hatcliff, John
Published: (2010)

Formal techniques for distributed systems joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
Published: (2009)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, proceedings
Published: (2005)

Information Security and Privacy (vol. # 3574) 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
by: Boyd, Colin
Published: (2005)

Advances in Artificial Intelligence (vol. # 3501) 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings
Published: (2005)

Formal techniques for distributed systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
Published: (2012)

DNA computing (vol. # 3892) : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. /
Published: (2006)

Information and communications security (vol. # 3783) / 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings

Formal approaches to software testing (vol. # 3997) : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
Published: (2006)

Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Pervasive Computing (vol. # 3468) Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings
Published: (2005)

Autonomic communication (vol. # 3854) : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers /
Published: (2006)

Security in Pervasive Computing (vol. # 3450) Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Published: (2005)

Communication systems : the state of the art : IFIP 17th World Computer Congress, TC6 stream on communication systems, the state of the art, August 25-30, 2002, Montreal, Quebec, Canada /
by: IFIP World Computer Congress (17th : 2002 : Montreal, Quebec)
Published: (2002)

Extreme programming and agile processes in software engineering (vol. # 3556) / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Learning theory (vol. # 3559) / 18th Annual Conference on learning theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, proceedings

Trust Management (vol. # 3477) Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings
by: Herrmann, Peter
Published: (2005)

Fuzzy logic and applications (vol. # 3849) : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /
Published: (2006)

Structural Information and Communication Complexity (vol. # 3499) 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings
Published: (2005)

The Semantic Web: Research and Applications (vol. # 3532) Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
Published: (2005)