JUCS - Journal of Universal Computer Science 9

In this issue

Papers published: 7

Total pages: 104

Unique views: 4305

Total views: 5289

open access

Go to issue

Issue 9(2)

Next »

JUCS - Journal of Universal Computer Science 9(2) (2003)

Select: All None

Download:

Citation

XML

PDF

J.UCS ...

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: 573 | Total: 677

86-87

Moby/RT: ...

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: 584 | Total: 688

88-105

Checking ...

Research Article

Checking Object System Designs Incrementally

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger

10.3217/jucs-009-02-0106

28-02-2003

Unique: 591 | Total: 717

106-119

Optimized ...

Research Article

Optimized Temporal Logic Compilation

Andreas Krebs, Jürgen Ruf

10.3217/jucs-009-02-0120

28-02-2003

Unique: 633 | Total: 827

120-137

A ...

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: 626 | Total: 790

138-151

HOL-Z ...

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: 656 | Total: 790

152-172

Tool ...

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: 642 | Total: 800

173-188

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

OK

Web Analytics