|ITEM METADATA RECORD
|Title: ||Modeling Multi-Rate DSP Specification Semantics for Formal Transformational Design in HOL|
|Authors: ||Angelo, Catia Marcondes ×|
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