Sciweavers

7827 search results - page 12 / 1566
» time 2007
Sort
View
DAGSTUHL
2004
15 years 1 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
62
Voted
DAGSTUHL
2004
15 years 1 months ago
Test Derivation from Timed Automata
Laura Brandán Briones, Mathias Röhl
DAGSTUHL
2004
15 years 1 months ago
Run-Time Verification
Séverine Colin, Leonardo Mariani