Sciweavers

11172 search results - page 192 / 2235
» Testing Physical Systems
Sort
View
FORTE
2007
15 years 8 months ago
Testing Distributed Systems Through Symbolic Model Checking
Gabriel Kalyon, Thierry Massart, Cédric Meu...
DAGSTUHL
2004
15 years 8 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
DGO
2004
80views Education» more  DGO 2004»
15 years 8 months ago
Distributed Simulation Test Bed for Intelligent Transportation Systems Design and Analysis
J. Brad Fitzgibbons, Richard M. Fujimoto, Randall ...
FECS
2006
95views Education» more  FECS 2006»
15 years 8 months ago
A Computer-assisted Evaluation System for On-line Testing of English-Chinese Translation
: It is a challenging task to evaluate English-Chinese Translating abilities of non-English majors on-line because it involves not only the processing of the source language--Engli...
Yan Tian, Ruzhan Lu, Jianyong Duan