In this issue

Papers published: 8

Total pages: 190

Unique views: 6622

Total views: 8306

open access

Go to issue

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

Download
What is Correctness of Security Protocols?
Research Article
What is Correctness of Security Protocols?
Giampaolo Bella
10.3217/jucs-014-12-2083
 28-06-2008
 Unique: 791 | Total: 1041
 2083-2106
HTML
XML
PDF
Modularizing Theorems for Software Product ...
Research Article
Modularizing Theorems for Software Product Lines: The Jbook Case Study
Don Batory, Egon Börger
10.3217/jucs-014-12-2059
 28-06-2008
 Unique: 788 | Total: 1004
 2059-2082
HTML
XML
PDF
ASMs in Service Oriented Architectures
Research Article
ASMs in Service Oriented Architectures
Michael Altenhofen, Andreas Friesen, Jens Lemcke
10.3217/jucs-014-12-2034
 28-06-2008
 Unique: 809 | Total: 981
 2034-2058
HTML
XML
PDF
The Timed Abstract State Machine Language: ...
Research Article
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
Martin Ouimet, Kristina Lundqvist
10.3217/jucs-014-12-2007
 28-06-2008
 Unique: 885 | Total: 1156
 2007-2033
HTML
XML
PDF
Simulation of Timed Abstract State Machines ...
Research Article
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
10.3217/jucs-014-12-1984
 28-06-2008
 Unique: 780 | Total: 974
 1984-2006
HTML
XML
PDF
A Metamodel-based Language and a Simulation ...
Research Article
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
10.3217/jucs-014-12-1949
 28-06-2008
 Unique: 992 | Total: 1234
 1949-1983
HTML
XML
PDF
ASM Refinement Preserving Invariants
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 823 | Total: 1005
 1929-1948
HTML
XML
PDF
Quo Vadis Abstract State Machines?
Editorial
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
10.3217/jucs-014-12
 28-06-2008
 Unique: 754 | Total: 911
 1921-1928
HTML
XML
PDF

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

OK