Showing 1 - 5 results of 5 for search 'Huisman, Marieke', query time: 0.03s Refine Results
  1. 1
    Proceedings of the 8th international workshop on Specification and verification of component-based systems
    Published 2009
    Other Authors: “…Huisman, Marieke…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
    Published 2016
    Other Authors: “…Huisman, Marieke…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Published 2017
    Other Authors: “…Huisman, Marieke…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
    Published 2006
    Other Authors: “…Huisman, Marieke…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
    Published 2005
    Other Authors: “…Huisman, Marieke…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search