110
Voted
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...