Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man. Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. Formal Methods in System Design, 5(1/2):61-94, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.