Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (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.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (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.)
search