112
Voted
ADAEUROPE
2010
Springer
15 years 7 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...