138
click to vote
EUROSPI
2013
Springer
10 years 12 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...