The following pages link to FALKO (Q16996):
Displayed 10 items.
- A guarded fragment for abstract state machines (Q2567346) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- (Q2753698) (← links)
- (Q2753718) (← links)
- (Q2753719) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- The Abstract State Machines Method for High-Level System Design and Analysis (Q3557669) (← links)
- (Q4433924) (← links)
- (Q5294158) (← links)
- Frontiers of Combining Systems (Q5491904) (← links)