The following pages link to (Q5294158):
Displayed 4 items.
- A data-flow approach to test multi-agent ASMs (Q539229) (← 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)
- Data Flow Analysis and Testing of Abstract State Machines (Q3535367) (← links)