122 citations · 383 across the 26 of their papers we have counts for
1 paper · 1 filter
Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
Abstract State Machines (ASMs) have been successfully applied for modeling critical and complex systems in a wide range of application domains. However, unlike other well-known for…