Browse by all authors Browse By Author Name - Atchison,+Brenton

Browse Results (8 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Atchison, Brenton, Lindsay, Peter and Tombs, David (1999) A case study in software safety assurance using formal methods. SVRC Technical Report 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 105 1
Wabenhorst, Axel and Atchison, Brenton (1999) A survey of international safety standards. SVRC Technical Report 99-30, Software Verification Research Centre, School of Information Technology, The University of Queensland. 46 2
Volzer, Hagen, Atchison, Brenton, Lindsay, Peter, MacDonald, Anthony and Strooper, Paul (2002) A Tool for Subsystem Configuration Management. Technical Report 02-07, Software Verification Research Centre, School of Information Technology, The University of Queensland. 475 422
Hussey, Andrew and Atchison, Brenton (2000) Hazard Analysis of Interactive Systems. Technical Report no. 00-18, Software Verification Research Centre, School of Information Technology, The University of Queensland. 398 884
Atchison, Brenton, Lindsay, Peter and Cant, Tony (1999) Improving safety management in defence acquisition. SVRC Technical Report 99-42, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 26 12
Hussey, Andrew and Atchison, Brenton (2000) Safe Architectural Design Principles. Technical Report no. 00-19, Software Verification Research Centre, School of Information Technology, The University of Queensland. 882 1562
Atchison, Brenton M. and Lindsay, Peter A. (2000). Safety validation of embedded control software using Z animation. In: W.T. Tsai, Proceedings of IEEE: The 5th IEEE International Symposium on High Assurance Systems Engineering (HASE'00). High Assurance Systems Engineering, Albuquerque, New Mexico, USA, (228-237). 15-17 November, 2000. doi:10.1109/HASE.2000.895467 33   0 0
Atchison, Brenton (2004). The integration of safety analysis and functional verification techniques for software safety arguments PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 176 3