In this issue

Papers published: 7

Total pages: 106

Unique views: 5369

Total views: 6528

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
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: 766 | Total: 950
 89-104
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: 719 | Total: 891
 71-88
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: 787 | Total: 973
 54-70
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: 807 | Total: 976
 37-53
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: 850 | Total: 1032
 19-36
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: 763 | Total: 890
 3-18
HTML
XML
PDF
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: 677 | Total: 816
 1-2
HTML
XML
PDF

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

OK