Browse by all authors Browse By Author Name - Robinson,+Neil

Browse Results (4 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
Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008 100 12 0
Robinson, Neil John (2005). Animation and Visualisation of Refinements PhD Thesis, Information Technology & Electrical Engineering, University of Queensland. 216 5
Robinson, Neil, Lindsay, Peter and Pitman, Adrian (2000) Extending the Integrated Capability Maturity Model (CMMI) for Safety-related Applications. Technical Report no. 00-40, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1238 597
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