122 citations · 389 across the 17 of their papers we have counts for
1 paper · 1 filter
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…