Pages that link to "Item:Q2643128"
From MaRDI portal
The following pages link to Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128):
Displaying 4 items.
- Concurrent abstract state machines (Q303691) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
