A Safety Case Pattern for Model-Based Development Approach
| Title | A Safety Case Pattern for Model-Based Development Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | A. Ayoub, B. Kim, I. Lee, O. Sokolsky |
| Conference Name | Proceedings of the 4$^th$ NASA Formal Methods Symposium |
| Date Published | apr |
| Keywords | 1035715 |
| Citation Key | Ayoub12a |