Research output per year
Research output per year
-
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems
Sljivo, I., Jaradat, O., Bate, I. & Graydon, P., 1 Jan 2015, High Assurance Systems Engineering (HASE): 2015 16th IEEE International Symposium on High Assurance Systems Engineering. IEEE, p. 126-133 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Approach to Maintaining Safety Case Evidence After A System Change
Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On the nature and content of safety contracts
Graydon, P. & Bate, I., 2014, Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. IEEE Computer Society, p. 245-246 2 p. 6754615Research output: Chapter in Book/Report/Conference proceeding › Conference contribution