10 citations · 14 across the 4 of their papers we have counts for
1 paper · 2 filters
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…