%0 Conference Paper %1 conf/iceccs/DenneyPP12 %A Denney, Ewen %A Pai, Ganesh %A Pohl, Josef %B ICECCS %D 2012 %E Perseil, Isabelle %E Breitman, Karin K. %E Pouzet, Marc %I IEEE Computer Society %K dblp %P 199-208 %T Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2012.html#DenneyPP12 %@ 978-1-4673-2156-3

@inproceedings{conf/iceccs/DenneyPP12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Denney, Ewen and Pai, Ganesh and Pohl, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2541e7d8f84f257f673dbcd605fcf231b/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2012}, editor = {Perseil, Isabelle and Breitman, Karin K. and Pouzet, Marc}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.20}, interhash = {dfd8125132f903c3ed74f047e95443e0}, intrahash = {541e7d8f84f257f673dbcd605fcf231b}, isbn = {978-1-4673-2156-3}, keywords = {dblp}, pages = {199-208}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:30.000+0200}, title = {Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2012.html#DenneyPP12}, year = 2012 }