Maurice H. ter Beek

Books by Maurice H. ter Beek

Total count: 7

• Architecting Dependable Systems VI

  Springer London, Limited2009-01-01
• 
  Web Services and Formal Methods9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

  Springer2013-04-25
• Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

  Association for Computing Machinery2017-01-01
• 
  From Software Engineering to Formal Methods and Tools, and BackEssays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

  Springer2019-09-14
• 
  Formal Methods – The Next 30 YearsThird World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

  Springer2019-09-15
• Formal Methods for Industrial Critical Systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

  Springer International Publishing AG2020-01-01
• Coordination Models and Languages24th IFIP WG 6. 1 International Conference, COORDINATION 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, Proceedings

  Springer International Publishing AG2022-01-01