The following pages link to (Q4251109):
Displaying 6 items.
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- On testing UML statecharts (Q2500697) (← links)
- State-bases approaches: from Z to Object-Z (Q2906939) (← links)
- State inference for dynamically changing interfaces (Q4329488) (← links)
- Algebraic Methodology and Software Technology (Q5312994) (← links)
- Formal Approaches to Software Testing (Q5902013) (← links)