, University Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Univ. Grenoble Alpes), VERIMAG, 38000 Grenoble, France

• Leibniz Transactions on Embedded Systems Vol. 6 No. 1 (2019)
  Regular Papers
  Local Planning Semantics: A Semantics for Distributed Real-Time Systems
  PDF