MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2013

Springer Berlin Heidelberg

Other Authors: “...ter Beek, Maurice H....”

Cover Image

2

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

Published 2020

Springer International Publishing

Other Authors: “...ter Beek, Maurice H....”

Cover Image

3

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

Published 2022

Springer International Publishing

Other Authors: “...ter Beek, Maurice H....”

Cover Image

4

Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computi...

Published 2022

Springer Nature Switzerland

Other Authors: “...ter Beek, Maurice H....”

Cover Image

5

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

Published 2019

Springer International Publishing

Other Authors: “...ter Beek, Maurice H....”

Cover Image

6

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on...

Published 2016

Springer International Publishing

Other Authors: “...ter Beek, Maurice H....”

Cover Image

7

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

Published 2019

Springer International Publishing

Other Authors: “...ter Beek, Maurice H....”