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: 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.)
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.)
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.)
Theory and Practice of Model Transformation
  • PDF
  • English
  • Year: 2018
  • Author: Arend Rensink, Jesús Sánchez Cuadrado
search