ITEM METADATA RECORD
Title: Formally specifying dynamic data structures for embedded software design: an initial approach
Authors: Daylight, Edgar ×
Demoen, Bart
Catthoor, Francky #
Issue Date: 2004
Host Document: Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004) vol:108 pages:99-112
Conference: First International Workshop on Formal Foundations of Embedded Software location:Barcelona, Spain date:April 3, 2004
ISSN: 1571-0661
Publication status: published
KU Leuven publication type: IC
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
41511.pdf Published 327KbAdobe PDFView/Open

 


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