Maurice H. ter Beek
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Comparing formal tools for system design: a judgment study
Alessio Ferrari and others (2020) · Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering · ACM
The 2020 expert survey on formal methods
Hubert Garavel and others (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) · Springer
Adopting Formal Methods in an Industrial Setting: The Railways Case
Maurice H. ter Beek and others (2019) · Springer International Publishing
On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders
Davide Basile and others (2018) · Lecture notes in computer science · Springer Science+Business Media
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
Davide Basile and others (2017) · Proceedings of the 21st International Systems and Software Product Line Conference - Volume B · ACM