Argument-based approach to computer system safety engineering.
Tangming YuanTim KellyPublished in: Int. J. Crit. Comput. Based Syst. (2012)
Keyphrases
- computer systems
- data processing
- hardware and software
- operating system
- computing systems
- information systems
- engineering design
- communication systems
- computer architecture
- computer science
- computer security
- computer technology
- data sets
- software developers
- artificial intelligence
- software engineering
- high end
- mechanical engineering
- hypothetical reasoning
- intelligent vehicles
- materials science
- engineering students
- formal representation
- systems engineering
- product design
- intrusion detection system
- case study
- databases