Searching for "Abstract State Machines" – sorted by Relevance.
728 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
