In this issue

Papers published: 7

Total pages: 103

Unique views: 6815

Total views: 8559

open access

Go to issue

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

Download
J.UCS Special Issue on Tools for System ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-009-02
 28-02-2003
 Unique: 920 | Total: 1131
 86-87
HTML
XML
PDF
Moby/RT: A Tool for Specification and ...
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
10.3217/jucs-009-02-0088
 28-02-2003
 Unique: 979 | Total: 1227
 88-105
HTML
XML
PDF
Checking Object System Designs Incrementally
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 910 | Total: 1119
 106-119
HTML
XML
PDF
Optimized Temporal Logic Compilation
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 999 | Total: 1318
 120-137
HTML
XML
PDF
A Case Study in Verification of UML Statecharts: ...
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik, Reinhard Mühlfeld
10.3217/jucs-009-02-0138
 28-02-2003
 Unique: 937 | Total: 1219
 138-151
HTML
XML
PDF
HOL-Z 2.0: A Proof Environment for Z-Specifications
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker, Frank Rittinger, Burkhart Wolff
10.3217/jucs-009-02-0152
 28-02-2003
 Unique: 1070 | Total: 1302
 152-172
HTML
XML
PDF
Tool Support for the Interactive Derivation ...
Research Article
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
10.3217/jucs-009-02-0173
 28-02-2003
 Unique: 1000 | Total: 1243
 173-188
HTML
XML
PDF

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

OK