Revisiting Compatibility of Input-Output Modal Transition Systems


Modern software systems are typically built of components that communicate through their external interfaces. The external behavior of a component can be effectively described using finite state automata-based formalisms. Such component models can then used for varied analyses. For example, interface automata, which model the behavior of components in terms… (More)
DOI: 10.1007/978-3-319-06410-9_26

7 Figures and Tables


  • Presentations referencing similar topics