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

Ulrich Hannemann, Jozef Hooman

Browse the full COMPSAC paper archive.