XASM

swMATH21003MaRDI QIDQ32816FDOQ32816

Author name not available (Why is that?)

Official website: http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html

Cited In (13)

• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• 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
• FALKO
• ATL
• AsmL
• OTSL
• GReAT
• ASMKeY
• Ontological transition systems structures
• GME
• ASM Workbench
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

This page was built for software: XASM