In this issue

Papers published: 9

Total pages: 199

Unique views: 9478

Total views: 11704

open access

Go to issue

« Previous
Issue 7(11)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 7(11)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Abstract State Machines 2001: New Developments ...
Editorial
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
Egon Börger
10.3217/jucs-007-11
 28-11-2001
 Unique: 879 | Total: 1056
 914-916
HTML
XML
PDF
Partial Updates: Exploration
Research Article
Partial Updates: Exploration
Yuri Gurevich, Nikolai Tillmann
10.3217/jucs-007-11-0917
 28-11-2001
 Unique: 976 | Total: 1191
 917-951
HTML
XML
PDF
Verification of ASM Refinements Using ...
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 1176 | Total: 1416
 952-979
HTML
XML
PDF
A Logic for Abstract State Machines
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 994 | Total: 1241
 980-1005
HTML
XML
PDF
A Neural Abstract Machine
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 1137 | Total: 1467
 1006-1023
HTML
XML
PDF
Formal Definition of SDL-2000 - Compiling ...
Research Article
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin Löwis, Andreas Prinz
10.3217/jucs-007-11-1024
 28-11-2001
 Unique: 1191 | Total: 1452
 1024-1049
HTML
XML
PDF
ASM-Based Testing: Coverage Criteria ...
Research Article
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
Angelo Gargantini, Elvinia Riccobene
10.3217/jucs-007-11-1050
 28-11-2001
 Unique: 1121 | Total: 1390
 1050-1067
HTML
XML
PDF
Compiling Abstract State Machines to ...
Research Article
Compiling Abstract State Machines to C++
Joachim Schmid
10.3217/jucs-007-11-1068
 28-11-2001
 Unique: 972 | Total: 1213
 1068-1087
HTML
XML
PDF
An Abstract State Machine Specification ...
Research Article
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
Charles Wallace, Guy Tremblay, Jose Amaral
10.3217/jucs-007-11-1088
 28-11-2001
 Unique: 1032 | Total: 1278
 1088-1112
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK