The following pages link to (Q4413684):
Displaying 7 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- A formal logic approach to constrained combinatorial testing (Q616856) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- Data Flow Analysis and Testing of Abstract State Machines (Q3535367) (← links)
- (Q4413702) (← links)
- A Logic-Based Approach to Combinatorial Testing with Constraints (Q5458811) (← links)