Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings /

Guardado en:

Bibliografiske detaljer
Hovedforfatter:	Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (edición)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlín, Alemania : Springer, 2012, c2012
Serier:	(Lecture Notes in Computer Science)
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Engineering Secure Software and Systems :

Quick Look
Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings /
Quick Look
Engineering Secure Software and Systems : First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings /
Quick Look
Engineering Secure Software and Systems : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings /
Quick Look
Engineering Secure Software and Systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : Proceedings /
Quick Look
Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings /
Quick Look
Software Engineering for Resilient Systems : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings /
Quick Look
Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Quick Look
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Quick Look
Software Language Engineering : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /
Quick Look
Secure IT Systems : 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 -- November 2, 2012, Proceedings /
Quick Look
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
Quick Look
Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /
Quick Look
Human-Centered Software Engineering : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings /
Quick Look
Software Security - Theories and Systems : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 /
Quick Look
Search Based Software Engineering : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /
Quick Look
Stabilization, Safety, and Security of Distributed Systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings /
Quick Look
Biomedical Engineering Systems and Technologies : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers /
Quick Look
Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Quick Look
Software Engineering for Resilient Systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : Proceedings /
Quick Look
Computer Applications for Security, Control and System Engineering : International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings /
Quick Look
Eternal Systems : First International Workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers /
Quick Look
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Quick Look
Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings /
Quick Look
Security, Privacy, and Applied Cryptography Engineering : Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings /