Publication:

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

Date

1994
Journal article
Simple item page Full metadata Statistics
 
dc.contributor.authorAngelo, Catia Marcondes
dc.contributor.authorClaesen, Luc
dc.contributor.authorDe Man, Hugo
dc.contributor.imecauthorDe Man, Hugo
dc.date.accessioned2021-09-29T12:39:41Z
dc.date.available2021-09-29T12:39:41Z
dc.date.embargo9999-12-31
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/17
dc.source.beginpage61
dc.source.endpage94
dc.source.journalFormal Methods in System Design
dc.source.volume5
dc.title

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

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
9.pdf
Size:
1.83 MB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Articles