The following pages link to CoreASM (Q14485):
Displaying 13 items.
- Concurrent abstract state machines (Q303691) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- Executable component-based semantics (Q1734523) (← links)
- The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes (Q2117607) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← 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)
- BIOMICS: a Theory of Interaction Computing (Q3295752) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- The Abstract State Machines Method for High-Level System Design and Analysis (Q3557669) (← links)
- (Q5294158) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)