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