In this issue

Papers published: 4

Total pages: 68

Unique views: 2351

Total views: 2873

open access

Go to issue

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

Download
Second ...
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: 565 | Total: 667  | Access Period:
 1495-1497
HTML
XML
PDF
FBT: ...
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: 595 | Total: 711  | Access Period:
 1498-1518
HTML
XML
PDF
Automated ...
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: 640 | Total: 851  | Access Period:
 1519-1539
HTML
XML
PDF
Checking ...
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: 551 | Total: 644  | Access Period:
 1540-1558
HTML
XML
PDF

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

OK