Browsing by Author "Demoen, B."
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Formally specifying dynamic data structures for embedded software design: an initial approach
Proceedings paper2004-04, 1st Int. Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 27/03/2004, p.99-111