Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 10

Content of Issue 11
DOI: 10.3217/jucs-010-11
Second International Workshop on Verification and Validation of Enterprise Information Systems
J.UCS Special Issue
J. Carlos Augusto, U. Ultes-Nitsche 1495
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking M. J. Hornos 1498
Automated Support for Enterprise Information Systems J.A. Andrew van der Poll, P. Kotzé, W. Adrian Labuschagne 1519
Checking Consistency between UML Class and State Models Based on CSP and B W. L. Yeung 1540