- The Australian Computer Society will be launching a Safety Critical
- 7th Australian Workshop on Safety Critical Systems and Software, Adelaide, October Trends in System SafetyUS View
- Complex 2004 Proceedings of the 7th Asia-Pacific Conference on Complex Systems
- SOFTWARE VERIFICATION RESEARCH CENTRE THE UNIVERSITY OF QUEENSLAND
- SOFTWARE VERIFICATION RESEARCH CENTRE THE UNIVERSITY OF QUEENSLAND
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Requirements Traceability for Embedded Software --an Industry Experience Report
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Can System of Systems Be Given Self-X Requirement Engineering Capabilities?
- Robustness of Idle-throttle Continuous Descent Approach Trajectories
- Appeared in: Innovation and Consolidation in Aviation, G. Edkins & P. Pfister (Eds.), Aldershot, UK: Ashgate, 2003, pp. 255-262. ISBN 0 7546 1999 0
- SOFTWARE VERIFICATION RESEARCH CENTRE THE UNIVERSITY OF QUEENSLAND
- A Behaviour-Based Method for Fault Tree Generation Andrew Rae; University of Queensland; Brisbane, Queensland, Australia
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- To appear: Proceedings Improving Systems and Software Engineering Conference (ISSEC), Brisbane, Australia, August 2010.
- SOFTWARE VERIFICATION RESEARCH CENTRE THE UNIVERSITY OF QUEENSLAND
- Seventh Annual Workshop on Safety-Critical Systems & Software plus half-day course presented by Felix Redmill
- "!#$%"'&( )0!#1 !%0&2% %1243&2562 7$89'A@'3B66&C )DEB&2F
