Repository logo Institutional repository
  • Communities & Collections
  • Browse
  • Site
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Kuiper, Roel"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results Per Page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

    Zhang, D.
    ;
    Bošnacki, Dragan
    ;
    van den Brand, M.
    ;
    Huizing, Cornelus
    ;
    Jacobs, Bart
    ;
    Kuiper, Roel
    Proceedings paper
    2017, MODELSWARD 2016: Model-Driven Engineering and Software Development, 19/02/2016, p.249-273

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings