Browse by all authors Browse By Author ID - Atchison, Brenton

Browse Results (5 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
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. 41 2
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. 397 871
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. 21 10
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. 875 1505
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. 158 3