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: 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.)
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.)
Theory and Practice of Model Transformation
  • PDF
  • English
  • Year: 2018
  • Author: Arend Rensink, Jesús Sánchez Cuadrado
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Bart Jacobs, Christof Löding (eds.)
search