7 search results - page 2 / 2 » safecomp 2005 |
160
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
207
Voted
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...