scientific article; zbMATH DE number 1538047
From MaRDI portal
Publication:4518903
Recommendations
Cited in
(17)- scientific article; zbMATH DE number 2102724 (Why is no real title available?)
- Decidable properties for monadic abstract state machines
- Model checking abstract state machines with answer set programming
- scientific article; zbMATH DE number 1670520 (Why is no real title available?)
- A data-flow approach to test multi-agent ASMs
- Automated Technology for Verification and Analysis
- The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models
- scientific article; zbMATH DE number 2086951 (Why is no real title available?)
- scientific article; zbMATH DE number 1670518 (Why is no real title available?)
- scientific article; zbMATH DE number 1798188 (Why is no real title available?)
- scientific article; zbMATH DE number 1670507 (Why is no real title available?)
- scientific article; zbMATH DE number 1670522 (Why is no real title available?)
- scientific article; zbMATH DE number 1701780 (Why is no real title available?)
- Data Flow Analysis and Testing of Abstract State Machines
- scientific article; zbMATH DE number 1951196 (Why is no real title available?)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Language-oriented formal analysis: a case study on protocols and distributed systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518903)
