Show simple item record

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

dc.contributor.authorVan Oudheusden, Karel
dc.contributor.authorDemoen, B.
dc.contributor.authorCatthoor, Francky
dc.date.accessioned2021-10-15T17:09:41Z
dc.date.available2021-10-15T17:09:41Z
dc.date.issued2004-04
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/9776
dc.sourceIIOimport
dc.titleFormally specifying dynamic data structures for embedded software design: an initial approach
dc.typeProceedings paper
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.source.peerreviewno
dc.source.beginpage99
dc.source.endpage111
dc.source.conference1st Int. Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures
dc.source.conferencedate27/03/2004
dc.source.conferencelocationBarcelona Spain
imec.availabilityPublished - imec
imec.internalnotesElectronic Notes in Theoretical Computer Science; Vol. 108


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