In this issue

Papers published: 7

Total pages: 106

Unique views: 4678

Total views: 5682

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: 582 | Total: 703  | 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: 662 | Total: 774  | 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: 728 | Total: 878  | 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: 699 | Total: 855  | 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: 718 | Total: 863  | 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: 636 | Total: 793  | 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: 653 | Total: 816  | Access Period:
 89-104
HTML
XML
PDF

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

OK