Show simple item record

Modeling multi-rate DSP specification semantics for formal transformational design in HOL

dc.contributor.authorAngelo, Catia Marcondes
dc.contributor.authorClaesen, Luc
dc.contributor.authorDe Man, Hugo
dc.date.accessioned2021-09-29T12:39:41Z
dc.date.available2021-09-29T12:39:41Z
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/17
dc.sourceIIOimport
dc.titleModeling multi-rate DSP specification semantics for formal transformational design in HOL
dc.typeJournal article
dc.contributor.imecauthorDe Man, Hugo
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage61
dc.source.endpage94
dc.source.journalFormal Methods in System Design
dc.source.volume5
imec.availabilityPublished - open access
imec.internalnotesPaper from Higher Order Logic Theorem Proving and its Applications. IFIP TC/WG10.2 International Workshop - HOL '92. 21-24 Sept. 1992; Leuven, Belgium


Files in this item

Thumbnail
Name:
9.pdf
Size:
1.834Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record