Show simple item record

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

dc.contributor.authorZhang, D.
dc.contributor.authorBošnacki, Dragan
dc.contributor.authorvan den Brand, M.
dc.contributor.authorHuizing, Cornelus
dc.contributor.authorJacobs, Bart
dc.contributor.authorKuiper, Roel
dc.contributor.authorWijs, Anton
dc.date.accessioned2021-10-24T19:53:21Z
dc.date.available2021-10-24T19:53:21Z
dc.date.issued2017
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30012
dc.sourceIIOimport
dc.titleVerifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage249
dc.source.endpage273
dc.source.conferenceMODELSWARD 2016: Model-Driven Engineering and Software Development
dc.source.conferencedate19/02/2016
dc.source.conferencelocationRome Italy
dc.identifier.urlhttps://link.springer.com/chapter/10.1007/978-3-319-66302-9_13
imec.availabilityPublished - open access
imec.internalnotesCommunications in Computer and Information Science book series; Vol. CCIS 692


Files in this item

Thumbnail
Name:
41163.pdf
Size:
390.5Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record