CoreASM
From MaRDI portal
Software:14485
No author found.
Related Items (13)
Abstract State Machines with Exact Real Arithmetic ⋮ Concurrent abstract state machines ⋮ Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ 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 ⋮ Ambient abstract state machines with applications ⋮ BIOMICS: a Theory of Interaction Computing ⋮ Executable component-based semantics ⋮ Unnamed Item ⋮ The Abstract State Machines Method for High-Level System Design and Analysis ⋮ 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
This page was built for software: CoreASM
