Home Advanced Search

Advanced Search - Page 1

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Silvano Dal Zilio, Andrew D. Gordon (auth.), Mogens Nielsen, Branislav Rovan (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Étienne André, Mariëlle Stoelinga
Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Mariëlle Stoelinga (editor); Esther Guerra (editor)
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Nils Jansen, Mariëlle Stoelinga, Petra Van Den Bos
search