The following pages link to (Q4520500):
Displaying 7 items.
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- Model checking parameterized by the semantics in Maude (Q1648886) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Data Flow Analysis and Testing of Abstract State Machines (Q3535367) (← links)
- Integrated Formal Methods (Q5901610) (← links)