Research output per year
Research output per year
-
Automatic Safety Analysis of Computer-based Railway Signalling System
Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2011). IEEE Intelligent Transportation Systems Society, p. 484-490 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic Safety Analysis of Networked Control System based on Failure Propagation Model
Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES 2011). Beijing, China: IEEE Intelligent Transportation Systems Society, p. 53-58 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Justifying the validity of safety assessment models with safety case patterns: System Safety, 2011 6th IET International Conference on
Sun, L., Lisagor, O. & Kelly, T., 2011, p. 1-6. 6 p.Research output: Contribution to conference › Other › peer-review