%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 %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-12-14T14:27:47.000+0100}, author = {Denney, Ewen and Pai, Ganesh and Pohl, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2541e7d8f84f257f673dbcd605fcf231b/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2012}, editor = {Perseil, Isabelle and Breitman, Karin K. and Pouzet, Marc}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.20}, interhash = {dfd8125132f903c3ed74f047e95443e0}, intrahash = {541e7d8f84f257f673dbcd605fcf231b}, isbn = {978-1-4673-2156-3}, keywords = {}, pages = {199-208}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T14:27:47.000+0100}, 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 }