Searching for "Abstract State Machines" – sorted by Relevance.
-
Recursive abstract state machines
- Typed Abstract State Machines Giuseppe Del Castillo (Universitat-GH Paderborn, Germany giusp
- Cited by 17 (3 self) – Add To MetaCart
-
Compiling Abstract State Machines
- Compiling Abstract State Machines to C++ Joachim Schmid (Siemens Corporate Technology, D-81730
- Cited by 1 (0 self) – Add To MetaCart
-
for the Abstract State Machines
- angelo.gargantini@(email omitted); for the Abstract State Machines Elvinia Riccobene Università di Milano
- Add To MetaCart
-
Abstract State Machines
- A Logic for Abstract State Machines Robert F. Stärk (Computer Science Department, ETH Zürich
- Cited by 36 (5 self) – Add To MetaCart
-
in the Abstract State Machine Language
- Type: Research paper Title: Testable Use Cases in the Abstract State Machine Language Abstract
- Add To MetaCart
-
An Abstract State Machine Primer
- Computer Science Technical Report An Abstract State Machine Primer by James K. Huggins and Charles
- Cited by 4 (0 self) – Add To MetaCart
-
Abstract State Machines and Pure Mathematics
- Abstract State Machines and Pure Mathematics Andreas Blass? University of Michigan, USA ablass
- Cited by 1 (0 self) – Add To MetaCart
-
Model checking for abstract state machines
- Model Checking for Abstract State Machines Kirsten Winter GMD FIRST Rudower Chaussee 5, D-12489
- Cited by 25 (8 self) – Add To MetaCart
-
An Abstract State Machine specification of the. . .
- Research Project Verifix Uni Karlsruhe -- CAU Kiel -- Uni Ulm An Abstract State Machine
- Add To MetaCart
-
Abstract State Machine Semantics of SDL
- Abstract State Machine Semantics of SDL Uwe Glasser (Heinz Nixdorf Institut Universitat
- Cited by 10 (1 self) – Add To MetaCart

