Toggle navigation
My submissions
Login
Toggle navigation
View item
imec Publications Repository
imec Publications
Conference contributions
View item
imec Publications Repository
imec Publications
Conference contributions
View item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
View/
open
41163.pdf (390.5Kb)
Metadata
Show full item record
Authors
Zhang, D.
;
Bonacki, Dragan
;
van den Brand, M.
;
Huizing, Cornelus
;
Jacobs, Bart
;
Kuiper, Roel
;
Wijs, Anton
Conference
MODELSWARD 2016: Model-Driven Engineering and Software Development
Title
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections
Conference contributions
Search imec Publications Repository
This collection
Browse
All of imec Publications Repository
Collections
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
This collection
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
My account
login