An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees

There are no files associated with this record.

Title An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees
Author Grunske, Lars; Lindsay, Peter; Yatapanage, Nisansala Prasanthi; Winter, Kirsten
Publication Title Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Editor Romijin, J.M.T., Smith, G.P., van de Pol, J.C.
Year Published 2005
Publisher Springer-Verlag
Peer Reviewed Yes
Published Yes
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice