Home Advanced Search

Advanced Search - Page 1

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.)
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)
Foundations of probabilistic programming
  • PDF
  • English
  • Year: 2021
  • Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Nan Guan, Joost-Pieter Katoen, Jun Sun
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2017
  • Author: Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Foundations of Probabilistic Programming
  • PDF
  • English
  • Year: 2021
  • Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
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.)
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Peter Csaba Ölveczky, Gwen Salaün
Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jon Whittle, John Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal (auth.), Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke (eds.)
search