Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

28 items matching your criteria

Sort by:
Filter By:
Subject: I.6.4 - Model Validation and Analysis
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
VOC: A Methodology for the Translation ...
Research Article
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
10.3217/jucs-009-03-0223
 28-03-2003
 Unique: 658 | Total: 820  | Access Period:
 223-247
HTML
XML
PDF
Checking Object System Designs Incrementally
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 571 | Total: 690  | Access Period:
 106-119
HTML
XML
PDF
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: 595 | Total: 724  | Access Period:
 89-104
HTML
XML
PDF
Curve Fitting and Interpolation of Biological ...
Research Article
Curve Fitting and Interpolation of Biological Data Under Uncertainties
Svetoslav Markov, Y. Akyildiz
10.3217/jucs-002-02-0058
 28-02-1996
 Unique: 640 | Total: 775  | Access Period:
 59-69
HTML
XML
PDF
1 2 3

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

OK