Cited in
(17)- A guarded fragment for abstract state machines
- Frontiers of Combining Systems
- The abstract state machines method for high-level system design and analysis
- scientific article; zbMATH DE number 2000398 (Why is no real title available?)
- scientific article; zbMATH DE number 1670502 (Why is no real title available?)
- scientific article; zbMATH DE number 1670521 (Why is no real title available?)
- CoreASM
- SystemC
- Metasonic
- XASM
- ASMKeY
- Datalog LITE
- ASM Workbench
- scientific article; zbMATH DE number 1670522 (Why is no real title available?)
- The subject-oriented approach to software design and the abstract state machines method
- CoreASM: an extensible ASM execution engine
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
This page was built for software: FALKO
