CoreASM
From MaRDI portal
Software:14485
swMATH1936MaRDI QIDQ14485FDOQ14485
Author name not available (Why is that?)
Cited In (13)
- Abstract State Machines with Exact Real Arithmetic
- Executable component-based semantics
- A data-flow approach to test multi-agent ASMs
- The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes
- Title not available (Why is that?)
- Ambient abstract state machines with applications
- Concurrent abstract state machines
- Integrating formal specifications into applications: the ProB Java API
- The Abstract State Machines Method for High-Level System Design and Analysis
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
- BIOMICS: a Theory of Interaction Computing
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
This page was built for software: CoreASM
