In this issue

Papers published: 4

Total pages: 68

Printed version: Paperback

open access

Go to issue

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

Download
Editorial
Second International Workshop on Verification and Validation of Enterprise Information Systems J.UCS Special Issue
Juan Augusto, Ulrich Ultes-Nitsche
10.3217/jucs-010-11
 28-11-2004
 Unique: 147 | Total: 172  | Access Period:
 1495-1497
HTML
XML
PDF
Research Article
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
Miguel Hornos
10.3217/jucs-010-11-1498
 28-11-2004
 Unique: 169 | Total: 199  | Access Period:
 1498-1518
HTML
XML
PDF
Research Article
Automated Support for Enterprise Information Systems
John Andrew Andrew Van Der Poll, Paula Kotzé, Willem Labuschagne
10.3217/jucs-010-11-1519
 28-11-2004
 Unique: 183 | Total: 218  | Access Period:
 1519-1539
HTML
XML
PDF
Research Article
Checking Consistency between UML Class and State Models Based on CSP and B
W. Yeung
10.3217/jucs-010-11-1540
 28-11-2004
 Unique: 155 | Total: 177  | Access Period:
 1540-1558
HTML
XML
PDF

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

OK