Maurice H. ter Beek

No bio available. Add one in Open Library.

Books by Maurice H. ter Beek (50 max)

+ shelf+ list

Architecting Dependable Systems VI

2009

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek

+ shelf+ list

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2013

Maurice H. ter Beek, Niels Lohmann

+ shelf+ list

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

2017

Maurice H. ter Beek

+ shelf+ list

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2019

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

+ shelf+ list

Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2019

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

+ shelf+ list

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

2020

Maurice H. ter Beek, Dejan Ničković

+ shelf+ list

Integrated Formal Methods 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

2022

Maurice H. ter Beek, Rosemary Monahan