In this issue

Papers published: 7

Total pages: 106

Printed version: Paperback

open access

Go to issue

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

Download
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: 144 | Total: 176  | Access Period:
 1-2
HTML
XML
PDF
Research Article
DisCo Toolset - The New Generation
Timo Aaltonen, Mika Katara, Risto Pitkänen
10.3217/jucs-007-01-0003
 28-01-2001
 Unique: 182 | Total: 210  | Access Period:
 3-18
HTML
XML
PDF
Research Article
The Korrigan Environment
Christine Choppy, Pascal Poizat, Jean-Claude Royer
10.3217/jucs-007-01-0019
 28-01-2001
 Unique: 177 | Total: 214  | Access Period:
 19-36
HTML
XML
PDF
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: 185 | Total: 237  | Access Period:
 37-53
HTML
XML
PDF
Research Article
Declarative Term Graph Attribution for Program Generation
Wolfram Kahl, Frank Derichsweiler
10.3217/jucs-007-01-0054
 28-01-2001
 Unique: 177 | Total: 201  | Access Period:
 54-70
HTML
XML
PDF
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: 177 | Total: 215  | Access Period:
 71-88
HTML
XML
PDF
Research Article
RAVEN: Real-Time Analyzing and Verification Environment
Jürgen Ruf
10.3217/jucs-007-01-0089
 28-01-2001
 Unique: 166 | Total: 206  | Access Period:
 89-104
HTML
XML
PDF

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

OK