In this issue

Papers published: 7

Total pages: 106

Unique views: 4565

Total views: 5504

open access

Go to issue

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

Download
J.UCS ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification
Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-007-01
 28-01-2001
 Unique: 569 | Total: 676  | Access Period:
 1-2
HTML
XML
PDF
DisCo ...
Research Article
DisCo Toolset - The New Generation
Timo Aaltonen, Mika Katara, Risto Pitkänen
10.3217/jucs-007-01-0003
 28-01-2001
 Unique: 642 | Total: 749  | Access Period:
 3-18
HTML
XML
PDF
The ...
Research Article
The Korrigan Environment
Christine Choppy, Pascal Poizat, Jean-Claude Royer
10.3217/jucs-007-01-0019
 28-01-2001
 Unique: 713 | Total: 851  | Access Period:
 19-36
HTML
XML
PDF
An ...
Research Article
An Open Software Architecture for the Verification of Industrial Controllers
Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
10.3217/jucs-007-01-0037
 28-01-2001
 Unique: 683 | Total: 833  | Access Period:
 37-53
HTML
XML
PDF
Declarative ...
Research Article
Declarative Term Graph Attribution for Program Generation
Wolfram Kahl, Frank Derichsweiler
10.3217/jucs-007-01-0054
 28-01-2001
 Unique: 706 | Total: 843  | Access Period:
 54-70
HTML
XML
PDF
Fred: ...
Research Article
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
John Crossley, Iman Poernomo
10.3217/jucs-007-01-0071
 28-01-2001
 Unique: 622 | Total: 769  | Access Period:
 71-88
HTML
XML
PDF
RAVEN: ...
Research Article
RAVEN: Real-Time Analyzing and Verification Environment
Jürgen Ruf
10.3217/jucs-007-01-0089
 28-01-2001
 Unique: 630 | Total: 783  | Access Period:
 89-104
HTML
XML
PDF

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

OK