The following pages link to (Q5294158):
Displaying 9 items.
- Concurrent abstract state machines (Q303691) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Data Flow Analysis and Testing of Abstract State Machines (Q3535367) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
