Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers /

Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sherratt, Edel (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Lecture Notes in Computer Science, 2599
Subjects:	Electrical engineering. Computer communication systems. Software engineering. Programming languages (Electronic computers). Computer logic. Application software. Communications Engineering, Networks. Computer Communication Networks. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Information Systems Applications (incl. Internet).
Online Access:	Full Text via HEAL-Link

Similar Items

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Published: (2003)

SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings /
Published: (2001)

Object-Oriented Technology. ECOOP 2002 Workshop Reader ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings /
Published: (2002)

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
Published: (2003)

Agent-Oriented Software Engineering First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /
Published: (2001)

Agent-Oriented Software Engineering II Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions /
Published: (2002)

Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
Published: (2001)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Published: (2002)

Intelligent Agents: Specification, Modeling, and Application 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings /
Published: (2001)

Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /
Published: (2001)

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
Published: (2002)

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
Published: (2018)

Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
Published: (2001)

Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Published: (1998)

ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /
Published: (2003)

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
Published: (2019)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
Published: (2003)

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings /
Published: (2019)

Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
Published: (2002)

FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Published: (2002)

Self-Adaptive Software First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers /
Published: (2001)

Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
Published: (2002)

ECOOP 2000 - Object-Oriented Programming 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings /
Published: (2000)

Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
Published: (1997)

Object-Oriented Technology: ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings /
Published: (2002)

Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
Published: (2004)

Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /
Published: (2002)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Published: (2002)

Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Published: (2002)

Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Published: (2003)

Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
Published: (1999)

ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings /
by: Lindskov Knudsen, Jorgen, et al.
Published: (2001)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Published: (2003)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Published: (2000)

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Published: (1998)

Unifying Petri Nets Advances in Petri Nets /
Published: (2001)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Published: (2002)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Published: (2004)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_b6dfo2aj5bn1ib8cvr9sear5e2