238 citations · 442 across the 13 of their papers we have counts for
1 paper · 2 filters
Xavier Devroey, Gilles Perrouin, Maxime Cordy +3
State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inp…