Skip to content

A compositional method for the top-down design of real-time systems.

Jozef Hooman

VenueBECRTS
Year1992
ProceedingsRTS

Browse the full ECRTS paper archive.