Tim Kelly – Publications — York Research Database

3 results

Filter

2013

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013
Denney, E. (ed.), Habli, I. (ed.), Kelly, T. (ed.), Knight, J. C. (ed.) & Pai, G. (ed.), 2013, IEEE Computer Society.
Research output: Book/Report › Commissioned report
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
Ruiz, A. (ed.), Kelly, T. (ed.) & Vara, J. L. D. L. (ed.), 2013, HAL.
Research output: Book/Report › Commissioned report
2011

Security Assurance Cases: Motivation and the State of the Art
Alexander, R., Hawkins, R. D. & Kelly, T., Apr 2011, Department of Computer Science, University of York.
Research output: Book/Report › Commissioned report