XASM
From MaRDI portal
Cited in
(13)- FALKO
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- ATL
- AsmL
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Ontological transition systems structures
- Context machines as formalism for specification of dynamic systems
- Domain-specific transition systems and their application to a formal definition of a model programming language
- OTSL
- GReAT
- ASMKeY
- GME
- ASM Workbench
This page was built for software: XASM
