Title: Formally specifying dynamic data structures for embedded software design: an initial approach
Authors: Daylight, Edgar ×
Demoen, Bart
Catthoor, Francky #
Issue Date: 2004
Conference: Semantics, Program Analysis, and Computing Environments for Memory Management location:Verona, Italië date:January 2, 2004
Description: Papers at
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
daylight-demoen-catthor.pdf Published 86KbAdobe PDFView/Open


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