In this issue

Papers published: 4

Total pages: 64

Unique views: 3453

Total views: 4292

open access

Go to issue

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

Download
Second International Workshop on Verification ...
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: 855 | Total: 1045
 1495-1497
HTML
XML
PDF
FBT: A Tool for Applying Interval Logic ...
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: 893 | Total: 1082
 1498-1518
HTML
XML
PDF
Automated Support for Enterprise Information ...
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: 920 | Total: 1216
 1519-1539
HTML
XML
PDF
Checking Consistency between UML Class ...
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: 785 | Total: 949
 1540-1558
HTML
XML
PDF

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

OK