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

View/open

9.pdf (1.834Mb)

Metadata

Show full item record

Authors

Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo

Journal

Formal Methods in System Design

Volume

5

Title

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

Publication type

Journal article

Embargo date

9999-12-31

Collections

Articles