Special section on: Reliability and Safety Certification of Software-Intensive Systems.
Barbara GallinaRoberto NatellaPublished in: Reliab. Eng. Syst. Saf. (2017)
Keyphrases
- special section
- software intensive systems
- safety critical
- software systems
- software engineering
- requirements engineering
- software engineering practices
- special issue
- formal methods
- real time
- agent architecture
- embedded systems
- distributed systems
- award winning
- databases
- support systems
- development process
- information technology
- e learning
- database