Computer safety, reliability, and security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Computer safety, reliability, and security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

This book constitutes the refereed proceedings of 5 workshops colocated with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. <br>The 49 revised full papers presented were carefully reviewed and selec...

Ամբողջական նկարագրություն

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Daniel, Peter, Ortmeier, Frank
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Imprint: Springer 2012.
Շարք:	Lecture Notes in Computer Science 7613
Խորագրեր:	Computer science. Computer Communication Networks. Software engineering. Data protection. Logic design. Artificial intelligence.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Computer safety, reliability, and security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
Հրապարակվել է: (2014)

Computer safety, reliability, and security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings /
Հրապարակվել է: (2012)

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Հրապարակվել է: (2014)

Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings /
Հրապարակվել է: (2013)

Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings /
Հրապարակվել է: (2011)

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
Հրապարակվել է: (2007)

Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Stabilization, safety, and security of distributed systems : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings /
Հրապարակվել է: (2014)

Stabilization, safety, and security of distributed systems 14th International symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /
Հրապարակվել է: (2012)

Computer safety, reliability, and security 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings /
Հրապարակվել է: (2009)

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 Proceedings /
Հրապարակվել է: (2009)

Computer safety, reliability and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
Հրապարակվել է: (2007)

Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
Հրապարակվել է: (2005)

Computer safety, reliability and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
Հրապարակվել է: (2007)

Information security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings /
Հրապարակվել է: (2012)

Computer safety, reliability, and security (vol. # 4166) : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /
Հրապարակվել է: (2006)

Smart grid security : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Provable security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings /
Հրապարակվել է: (2012)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
: Beringer, Lennart
Հրապարակվել է: (2012)

Communications and multimedia security : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings /
Հրապարակվել է: (2013)

Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
: Kutrib, Martin
Հրապարակվել է: (2012)

Reliable software technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
Հրապարակվել է: (2012)

Availability, reliability, and security in information systems : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2014, Fribourg, Switzerland, September 8-12, 2014. Proceedings /
Հրապարակվել է: (2014)

Security and trust management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Future Security 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings /
Հրապարակվել է: (2012)

Programming languages and systems 8th aasian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
Հրապարակվել է: (2010)

Constructive side-channel analysis and secure design : Third international workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings /
Հրապարակվել է: (2012)

Achieving systems safety : Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /

Information security and cryptology : 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Հրապարակվել է: (2012)

Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers /
Հրապարակվել է: (2012)

Safety and security in building design /
: Sinnott, Ralph
Հրապարակվել է: (1985)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Հրապարակվել է: (2013)

Security and privacy in mobile information and communication systems 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers /
Հրապարակվել է: (2012)

Security and cryptography for networks 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings /
Հրապարակվել է: (2012)

Information Security and Cryptology - ICISC 2012 : 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Reliable software technologies - Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Հրապարակվել է: (2013)

Dependable computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /
Հրապարակվել է: (2007)

Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
Հրապարակվել է: (2013)