Home Advanced Search

Advanced Search - Page 1

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Holger Giese, Barbara König
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected ... Notes in Computer Science Book 9640)
  • EPUB
  • English
  • Author: Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2017
  • Author: Rogério de Lemos,David Garlan,Carlo Ghezzi,Holger Giese (eds.)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2013
  • Author: Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson (auth.), Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw (eds.)
Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay (auth.), Holger Giese (eds.)
search