A reactive specification formalism for enhancing system development, analysis and adaptivity.

Assaf Marron

Browse the full MEMOCODE paper archive.