Browse by Author "Lindsay, Peter A."
Now showing items 1-3 of 3
| 1. |
Cut Set Analysis Using Behavior Trees and Model Checking
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2012 Author(s): Winter, Kirsten, Lindsay, Peter A., Yatapanage, Nisansala Prasanthi |
| 2. |
Experience with fault injection experiments for FMEA
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala Prasanthi, Zafar, Saad, Lindsay, Peter A. |
| 3. |
Safety assessment using Behavior Trees and Model Checking
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Lindsay, Peter A., Winter, Kirsten, Yatapanage, Nisansala Prasanthi |
Now showing items 1-3 of 3
Footer information
Back to top
This document has been optimised for printing, some elements from the original webpage may have been altered or removed.