MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.

Wang Yi, Morteza Mohaqeqi, Susanne Graf

Browse the full Coordination paper archive.