128
Voted
EUROSPI
2013
Springer
10 years 11 months ago
2013
Springer
Abstract. Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an imp...