Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs

Randy Paredis, Joachim Denil, Hans Vangheluwe. Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs. In Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021. pages 1-12, IEEE, 2021. [doi]

Abstract

Abstract is missing.