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
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (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: 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.)
search