DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Abstract state machine
Abstract state machine
CASM: Implementing an Abstract State Machine Based Programming Language ∗
A Survey Paper on Abstract State Machines and How It Compares to Z and Vdm
An Object-Oriented Approach for Hierarchical State Machines
A Toolset for Supporting UML Static and Dynamic Model Checking
The Abstract Machine a Pattern for Designing Abstract Machines
Introducing Asml: a Tutorial for the Abstract State Machine Language
Generating Finite State Machines from Abstract State Machines
Model Checking Abstract State Machines
Sequential Abstract State Machines Capture Sequential Algorithms
Code Generation from an Abstract State Machine Into Contracted C
Simulator for Real-Time Abstract State Machines
The Abstract State Machines Method for Modular Design and Analysis of Programming Languages
Abstract State Machines
Abstract State Machines: Verification Problems and Complexity
Reasoning About Abstract State Machines: the WAM Case Study
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
The Abstract State Machines Method for High-Level System Design & Analysis
From AADL to Timed Abstract State Machine: a Certified Model Transformation
Top View
On the Semantics of UML State Machines: Categorization and Comparison Technical Report 2005-501
An Optimizing Compiler for the Abstract State Machine Language CASM
A Natural Axiomatization of Church's Thesis 1
Abstract State Machines for the Classroom – the Basics –
Cellular Automata Are Generic
Symbolic Bounded Model Checking of Abstract State Machines
CASM: Implementing an Abstract State Machine Based Programming Language ∗
An Abstract State Machine Semantics for Discrete Event Simulation
The Abstract State Machines Method for High-Level System Design and Analysis
Sequential Abstract State Machines Capture Sequential Algorithms
An Institution for Simple UML State Machines
Conformance Testing with Abstract State Machines
Abstract State Machines: an Overview of the Project
Abstract State Machines 1988-1998: Commented ASM Bibliography