Sciweavers

77 search results - page 3 / 16
» dagstuhl 2004
Sort
View
DAGSTUHL
2004
13 years 6 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
DAGSTUHL
2004
13 years 6 months ago
Run-Time Verification
Séverine Colin, Leonardo Mariani
DAGSTUHL
2004
13 years 6 months ago
Connectivity
Frank Kammer, Hanjo Täubig
DAGSTUHL
2004
13 years 6 months ago
Preferences on Intervals: a general framework
Alexis Tsoukiàs, Meltem Öztürk