Search Results

1

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 /

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...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

2

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

3

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers /

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

4

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revise...

Berlin ; New York : Springer-Verlag, 2004

Conference Proceeding Book

5

UML 2003-the unified modeling language : modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /

UML 2003-the unified modeling language : modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

6

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

7

Technologies for E-services : 4th international workshop, TES 2003, Berlin, Germany, September 7-8, 2003 : proceedings /

Technologies for E-services : 4th international workshop, TES 2003, Berlin, Germany, September 7-8, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

8

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

9

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book