Author

Maurice H. ter Beek

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Architecting Dependable Systems VI

Architecting Dependable Systems VI

Year unknown Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, and Maurice H. ter Beek
Formal Methods for Industrial Cri...

Formal Methods for Industrial Critical Systems

Year unknown Maurice H. ter Beek and Dejan Ničković
Formal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

Year unknown Annabelle McIver, José N. Oliveira, and Maurice H. ter Beek
From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Year unknown Maurice H. ter Beek, Alessandro Fantechi, and Laura Semini
Integrated Formal Methods

Integrated Formal Methods

Year unknown Maurice H. ter Beek and Rosemary Monahan
Proceedings of the Eleventh Inter...

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

Year unknown
Web Services and Formal Methods

Web Services and Formal Methods

Year unknown Maurice H. ter Beek and Niels Lohmann

Fetched from OpenLibrary. Some translations may appear as separate works.