Making Software Safety Assessable and Transparent.
Risto NevalainenAlejandra RuizTimo VarkoiPublished in: EuroSPI (2013)
Keyphrases
- safety critical
- software tools
- safety analysis
- computer systems
- software development
- test cases
- software architecture
- software testing
- source code
- user interface
- software systems
- database systems
- data flow
- software quality
- formal methods
- hardware design
- commercial software
- software platform
- case study
- machine learning