Sciweavers

15401 search results - page 101 / 3081
» Software in Automotive Systems
Sort
View
127
Voted
CBSE
2008
Springer
15 years 6 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
DICS
2006
15 years 6 months ago
Dependable Systems
André Schiper