01 December 2016
Published
Springer International Publishing
10.1007/978-3-319-46218-9_4
QA75 Electronic computers. Computer science
005.8 Data security
Edinburgh Napier Funded
Yuan, T., Manandhar, S., Kelly, T., & Wells, S. (2016). Automatically Detecting Fallacies in System Safety Arguments. In Principles and Practice of Multi-Agent Systems. , (47-59). https://doi.org/10.1007/978-3-319-46218-9_4
LecturerSchool of Computing Engineering and the Built Environment
0131 455 2893
S.Wells@napier.ac.uk
Safety-critical systems, safety arguments, safety case development,
1MB
“The final authenticated version is available online at http://dx.doi.org/10.1007/978-3-319-46218-9_4.”