Title: Modeling Multi-Rate DSP Specification Semantics for Formal Transformational Design in HOL
Authors: Angelo, Catia Marcondes ×
Claesen, Luc
De Man, Hugo #
Issue Date: 1994
Series Title: Formal Methods in System Design vol:5 pages:61-94
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science