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