A component-based approach to specify hazards in the design of safety-critical systems

Lu, S, Halang, W, Schmidt, H and Gumzej, R 2005, 'A component-based approach to specify hazards in the design of safety-critical systems', in T Dillon; X Yu (ed.) Proceedings of the 2005 3rd International Conference on Industrial Informatics, Perth, Western Australia, 10/08/2005 to 12/08/2005, pp. 1-6.


Document type: Conference Paper
Collection: Conference Papers

Title A component-based approach to specify hazards in the design of safety-critical systems
Author(s) Lu, S
Halang, W
Schmidt, H
Gumzej, R
Year 2005
Conference name the 2005 3rd International Conference on Industrial Informatics
Conference location Perth, Western Australia
Conference dates 10/08/2005 to 12/08/2005
Proceedings title Proceedings of the 2005 3rd International Conference on Industrial Informatics
Editor(s) T Dillon; X Yu
Publisher IEEE
Place of publication United States
Start page 1
End page 6
Total pages 6
Abstract Not available
Subjects Computational Logic and Formal Languages
Software Engineering
Computer Software not elsewhere classified
Copyright notice IEEE computer Society Press 2005
ISBN 0780390954
Versions
Version Filter Type
Access Statistics: 231 Abstract Views  -  Detailed Statistics
Created: Thu, 15 Jan 2015, 08:26:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us