38 citations · 90 across the 5 of their papers we have counts for
1 paper · 1 filter
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…