Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 14

Content of Issue 12
DOI: 10.3217/jucs-014-12
Quo Vadis Abstract State Machines? E. Börger, A. Prinz 1921
ASM Refinement Preserving Invariants G. Schellhorn 1929
A Metamodel-based Language and a Simulation Engine for Abstract State Machines A. Gargantini, E. Riccobene, P. Scandurra 1949
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking A. Slissenko, P. Vasilyev 1984
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering M. Ouimet, K. Lundqvist 2007
ASMs in Service Oriented Architectures M. Altenhofen, A. Friesen, J. Lemcke 2034
Modularizing Theorems for Software Product Lines: The Jbook Case Study D. Batory, E. Börger 2059
What is Correctness of Security Protocols? G. Bella 2083