%0 Conference Paper %1 conf/isarcs/CastellanosVBDP13 %A Castellanos, Cuauhtemoc %A Vergnaud, Thomas %A Borde, Etienne %A Derive, Thomas %A Pautet, Laurent %B ISARCS %D 2013 %E Kruchten, Philippe %E Malek, Sam %I ACM %K dblp %P 17-26 %T Formalization of design patterns for security and dependability. %U http://dblp.uni-trier.de/db/conf/isarcs/isarcs2013.html#CastellanosVBDP13 %@ 978-1-4503-2123-5

@inproceedings{conf/isarcs/CastellanosVBDP13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Castellanos, Cuauhtemoc and Vergnaud, Thomas and Borde, Etienne and Derive, Thomas and Pautet, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ea2fa0d45909a855a22fe30b6ca7b036/dblp}, booktitle = {ISARCS}, crossref = {conf/isarcs/2013}, editor = {Kruchten, Philippe and Malek, Sam}, ee = {https://doi.org/10.1145/2465470.2465476}, interhash = {f12f7eccb28db5e19257a749d46ec7c0}, intrahash = {ea2fa0d45909a855a22fe30b6ca7b036}, isbn = {978-1-4503-2123-5}, keywords = {dblp}, pages = {17-26}, publisher = {ACM}, timestamp = {2019-09-27T20:47:18.000+0200}, title = {Formalization of design patterns for security and dependability.}, url = {http://dblp.uni-trier.de/db/conf/isarcs/isarcs2013.html#CastellanosVBDP13}, year = 2013 }