EUROSPI
2013
Springer
9 years 2 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...