Formal Design of Real-Time Components on a Shared Data Space Architecture

Ulrich Hannemann, Jozef Hooman. Formal Design of Real-Time Components on a Shared Data Space Architecture. In 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA. pages 143-150, IEEE Computer Society, 2001. [doi]

No reviews for this publication, yet.