| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP 2010: 68-81 |
| 2009 | ||
| 2 | | Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electr. Notes Theor. Comput. Sci. 238(4): 19-26 (2009) |
| 2008 | ||
| 1 | | Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262 |
| 1 | Ewen Denney | [1] [2] [3] |
| 2 | Bernd Fischer | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page