Home Advanced Search

Advanced Search - Page 1

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
  • PDF
  • English
  • Year: 2002
  • Author: Matthew Dwyer (auth.), Bart Jacobs, Arend Rensink (eds.)
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
  • PDF
  • English
  • Year: 2014
  • Author: Stefania Gnesi, Arend Rensink (eds.)
Model Driven Architecture – Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Vinay Kulkarni, Sreedhar Reddy (auth.), Arend Rensink, Jos Warmer (eds.)
Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Liping Zhao (auth.), Uwe Aßmann, Mehmet Aksit, Arend Rensink (eds.)
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Tim Trew (auth.), Richard F. Paige, Alan Hartman, Arend Rensink (eds.)
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Tim Trew (auth.), Richard F. Paige, Alan Hartman, Arend Rensink (eds.)
Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.)
Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.)
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Arend Rensink (auth.), Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  • PDF
  • English
  • Year: 1998
  • Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
search