Showing 1 - 5 results of 5 for search 'ter Beek, Maurice H.', query time: 0.03s Refine Results
  1. 1
    Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems
    Published 2017
    Other Authors: “…ter Beek, Maurice H.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
    Published 2019
    Other Authors: “…ter Beek, Maurice H.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
    Published 2016
    Other Authors: “…ter Beek, Maurice H.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Published 2019
    Other Authors: “…ter Beek, Maurice H.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2
    Published 2014
    Other Authors: “…ter Beek, Maurice H.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search