![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st SafeCert@ETAPS 2008: Budapest, Hungary
- Michaela Huhn, Hardi Hungar:
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008. Electronic Notes in Theoretical Computer Science 238(4), Elsevier 2009 - Michaela Huhn, Hardi Hungar:
Preface. 1-2 - Constance L. Heitmeyer
:
On the Role of Formal Methods in Software Certification: An Experience Report. 3-9 - John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. 11-17 - Nurlida Basir, Ewen Denney, Bernd Fischer
:
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. 19-26 - Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. 27-39 - Manuel Garnacho, Michaël Périn:
Convincing Proofs for Program Certification. 41-56 - Udo Frese
, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
The Importance of Being Formal. 57-70 - Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
:
Model-Based Safety-Cases for Software-Intensive Systems. 71-77 - László Gönczy, István Majzik
, Ákos Horváth, Dániel Varró
, András Balogh, Zoltán Micskei
, András Pataricza
:
Tool Support for Engineering Certifiable Software. 79-85
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.