In this issue

Papers published: 7

Total pages: 104

Unique views: 6850

Total views: 8467

open access

Go to issue

« Previous
Issue 7(1)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 7(1)
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
Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-007-01
 28-01-2001
 Unique: 859 | Total: 1056
 1-2
HTML
XML
PDF
DisCo Toolset - The New Generation
Research Article
DisCo Toolset - The New Generation
Timo Aaltonen, Mika Katara, Risto Pitkänen
10.3217/jucs-007-01-0003
 28-01-2001
 Unique: 1027 | Total: 1247
 3-18
HTML
XML
PDF
The Korrigan Environment
Research Article
The Korrigan Environment
Christine Choppy, Pascal Poizat, Jean-Claude Royer
10.3217/jucs-007-01-0019
 28-01-2001
 Unique: 1050 | Total: 1285
 19-36
HTML
XML
PDF
An Open Software Architecture for the ...
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: 1028 | Total: 1267
 37-53
HTML
XML
PDF
Declarative Term Graph Attribution for ...
Research Article
Declarative Term Graph Attribution for Program Generation
Wolfram Kahl, Frank Derichsweiler
10.3217/jucs-007-01-0054
 28-01-2001
 Unique: 987 | Total: 1232
 54-70
HTML
XML
PDF
Fred: An Approach to Generating Real, ...
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: 906 | Total: 1135
 71-88
HTML
XML
PDF
RAVEN: Real-Time Analyzing and Verification ...
Research Article
RAVEN: Real-Time Analyzing and Verification Environment
Jürgen Ruf
10.3217/jucs-007-01-0089
 28-01-2001
 Unique: 993 | Total: 1245
 89-104
HTML
XML
PDF

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

OK