Sciweavers

7766 search results - page 103 / 1554
» Testing Nondeterminate Systems
Sort
View
FORTE
2007
15 years 4 months ago
Testing Distributed Systems Through Symbolic Model Checking
Gabriel Kalyon, Thierry Massart, Cédric Meu...
75
Voted
DAGSTUHL
2004
15 years 3 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
DGO
2004
80views Education» more  DGO 2004»
15 years 3 months ago
Distributed Simulation Test Bed for Intelligent Transportation Systems Design and Analysis
J. Brad Fitzgibbons, Richard M. Fujimoto, Randall ...