Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dearle, Alan, Eisenbach, Susan
Format:	eBook
Language:	English
Published:	Berlin Heidelberg Springer-Verlag 2005
Series:	Lecture Notes in Computer Science, 3798
Subjects:	Operating systems (Computers) Computer science Logic design 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

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Published: (2012)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Published: (2010)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
by: Boer, Frank S.
Published: (2007)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Published: (2013)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Integrated formal methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Published: (2007)

Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Published: (2009)

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Published: (2014)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Published: (2013)

Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Published: (2005)

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)

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

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
by: Barthe, Gilles
Published: (2005)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Published: (2014)

Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /
Published: (2012)

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)

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

Dependable computing : second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings /

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
by: Van Roy, Peter
Published: (2005)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Published: (2012)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published: (2013)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Published: (2014)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Job scheduling strategies for parallel processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
Published: (2007)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Published: (2005)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
Published: (2010)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
by: Ur, Shmuel
Published: (2006)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Published: (2014)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Published: (2009)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Published: (2013)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Published: (2013)