|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michaela Huhn, Hardi Hungar (eds.) |
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Udo Frese, Daniel Hausmann 0001, Christoph Lüth, Holger Täubig, Dennis Walter |
The Importance of Being Formal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 57-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michaela Huhn, Hardi Hungar |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Habli, Tim Kelly |
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 27-39, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nurlida Basir, Ewen Denney, Bernd Fischer 0002 |
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 19-26, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Garnacho, Michaël Périn |
Convincing Proofs for Program Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 41-56, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
On the Role of Formal Methods in Software Certification: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 3-9, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | László Gönczy, István Majzik, Ákos Horváth 0001, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza |
Tool Support for Engineering Certifiable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 79-85, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 11-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Braun 0003, Jan Philipps, Bernhard Schätz, Stefan Wagner 0001 |
Model-Based Safety-Cases for Software-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 71-77, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|