Browse by all authors Browse By Author ID - Tombs, David James

Browse Results (4 results found)

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

Refine

  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
Lindsay, Peter, McDermid, John and Tombs, David (1999) A process for derivation and quantification of safety requirements for components of complex systems. SVRC Technical Report 99-46, Software Verification Research Centre, School of Information Technology, The University of Queensland. 30 1
Robinson, N. J., Barney, D., Kearney, P. F., Nikandros, G. and Tombs, D. J. (2001). Automatic generation and verification of design specifications. In: H. Rochecouste and D. Cropley, 11th Annual International Symposium of the International Council on Systems Engineering. INCOSE 2001, Melbourne, Australia, (). 1-5 July 2001. 65  
Tombs, David, Robinson, Neil and Nikandros, George (2002). Signalling control table generation and verification. In: Mark Carter, CORE2002 : Cost efficient railways through engineering : conference proceedings. CORE2002, Wollongong, Australia, (415-425). 10-13 November, 2003. 38