Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Luís Soares Barbosa, Markus Lumpe (edición)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín, Alemania : Springer, 2012, c2012
Schriftenreihe:	(Lecture Notes in Computer Science)
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Formal Aspects of Component Software :

Vorschau
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
Vorschau
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
Vorschau
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
Vorschau
Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
Vorschau
Software Composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Vorschau
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
Vorschau
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Vorschau
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Vorschau
Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
Vorschau
Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
Vorschau
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Vorschau
Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /
Vorschau
Composing Software Components : A Software-testing Perspective /
Vorschau
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Vorschau
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Vorschau
Formal Aspects in Security and Trust : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers /
Vorschau
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
Vorschau
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Vorschau
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /
Vorschau
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
Vorschau
Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Vorschau
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /
Vorschau
Software Architectures, Components, and Applications : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers /
Vorschau
Generative and Component-Based Software Engineering : Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers /