|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Generic Goal-Based Certification Argument for the Justification of Formal Analysis |
Habli, Ibrahim |
2009 |
238 | 4 |
p. 27-39 13 p. |
artikel |
|
| 2 | A Software Certification Consortium and its Top 9 Hurdles |
Hatcliff, John |
2009 |
238 | 4 |
p. 11-17 7 p. |
artikel |
|
| 3 | Convincing Proofs for Program Certification |
Garnacho, Manuel |
2009 |
238 | 4 |
p. 41-56 16 p. |
artikel |
|
| 4 | Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code |
Basir, Nurlida |
2009 |
238 | 4 |
p. 19-26 8 p. |
artikel |
|
| 5 | Model-Based Safety-Cases for Software-Intensive Systems |
Braun, Peter |
2009 |
238 | 4 |
p. 71-77 7 p. |
artikel |
|
| 6 | On the Role of Formal Methods in Software Certification: An Experience Report |
Heitmeyer, Constance L. |
2009 |
238 | 4 |
p. 3-9 7 p. |
artikel |
|
| 7 | Preface |
Huhn, Michaela |
2009 |
238 | 4 |
p. 1-2 2 p. |
artikel |
|
| 8 | The Importance of Being Formal |
Frese, Udo |
2009 |
238 | 4 |
p. 57-70 14 p. |
artikel |
|
| 9 | Tool Support for Engineering Certifiable Software |
Gönczy, László |
2009 |
238 | 4 |
p. 79-85 7 p. |
artikel |
9 gevonden resultaten