Show simple item record

Formally specifying dynamic data structures for embedded software: an initial approach

dc.contributor.authorVan Oudheusden, Karel
dc.date.accessioned2021-10-15T17:09:04Z
dc.date.available2021-10-15T17:09:04Z
dc.date.issued2004
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/9774
dc.sourceIIOimport
dc.titleFormally specifying dynamic data structures for embedded software: an initial approach
dc.typeOral presentation
dc.source.peerreviewno
dc.source.conferenceFormal Specifications
dc.source.conferencedate12/01/2004
dc.source.conferencelocationVenice Italy
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record