Sciweavers

15401 search results - page 89 / 3081
» Software in Automotive Systems
Sort
View
145
Voted
FASE
2003
Springer
15 years 9 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
WOSP
2010
ACM
15 years 9 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
APSEC
2002
IEEE
15 years 9 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...