Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (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.)
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.)
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
search