Computer safety, reliability, and security 33rd international conference, SAFECOMP 2014, Florence, Italy, September 10 - 12, 2014 ; proceedings

Computer safety, reliability, and security 33rd international conference, SAFECOMP 2014, Florence, Italy, September 10 - 12, 2014 ; proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8666
Schlagworte:	Computersicherheit Mensch-Maschine-Kommunikation Formale Methode Systementwicklung Technische Sicherheit Zuverlässigkeit Datensicherung Konferenzschrift > 2014 > Florenz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computer safety, reliability, and security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings
Veröffentlicht: (2007)

Computer safety, reliability, and security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006 ; proceedings
Veröffentlicht: (2006)

Computer safety, reliability and security 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5 - 7, 1998 ; proceedings
Veröffentlicht: (1998)

Computer safety, reliability and security 27th international conference, SAFECOMP 2008, Newcastle-upon Tyne, UK, September 22 - 25, 2008 ; proceedings
Veröffentlicht: (2008)

SAFECOMP '96
Veröffentlicht: (1997)

Computer safety, reliability, and security 36th international conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings
Veröffentlicht: (2017)

Computer safety, reliability, and security 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings
Veröffentlicht: (2019)

Computer safety, reliability, and security SAFECOMP 2017 workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS. Trento, Italy, September 12, 2017 : proceedings
Veröffentlicht: (2017)

Computer safety, reliability, and security SAFECOMP 2018 workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018 : proceedings
Veröffentlicht: (2018)

Computer safety, reliability, and security SAFECOMP 2019 workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings
Veröffentlicht: (2019)

Computer safety, reliability and security SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015 ; proceedings
Veröffentlicht: (2015)

Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings
Veröffentlicht: (2010)

SAFECOMP '95
Veröffentlicht: (1995)

SAFECOMP '97 the 16th International Conference on Computer Safety, Reliability and Security, York, UK, September 7 - 10, 1997
Veröffentlicht: (1997)

FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; proceedings
Veröffentlicht: (2000)

SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993
Veröffentlicht: (1993)

Computer safety, reliability, and security SAFECOMP 2020 workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings
Veröffentlicht: (2020)

Safety, reliability and security of industrial computer systems
Veröffentlicht: (2001)

Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings
Veröffentlicht: (2001)

Computer safety, reliability, and security 39th international conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings
Veröffentlicht: (2020)

Safety factors and reliability friends or foes?
von: Elishakoff, Isaac
Veröffentlicht: (2004)

Computer security art and science
von: Bishop, Matt
Veröffentlicht: (2005)

Systems integrity, software safety, and process security proceedings of the sixth Annual Conference on Computer Assurance ; June 24 - June 27, 1991, National Institute of Standards and Technology Gaithersburg, Maryland
Veröffentlicht: (1991)

Computer safety, reliability, and security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings
Veröffentlicht: (2016)

Information security 21st international conference, ISC 2018, Guildford, UK, September 9-12, 2018 : proceedings
Veröffentlicht: (2018)

Computer security art and science
von: Bishop, Matt
Veröffentlicht: (2019)

Computer security art and science
von: Bishop, Matt
Veröffentlicht: (2019)

Security+ prep guide
von: Krutz, Ronald L., et al.
Veröffentlicht: (2003)

Software system reliability and security
Veröffentlicht: (2007)

The international handbook of computer security
von: Shim, Jae K., et al.
Veröffentlicht: (2000)

The international handbook of computer security
von: Shim, Jae K., et al.
Veröffentlicht: (2000)

IT-Security: the need for international cooperation proceedings of the IFIP TC11 Eighth International Conference on Information Security, IFIP/Sec '92, Singapore, 27-29 May 1992
Veröffentlicht: (1992)

Safety and reliability of existing structures
von: Yao, James T.
Veröffentlicht: (1985)

5th ACM Conference on Computer and Communications Security November 3 - 5, 1998, San Francisco, California
Veröffentlicht: (1998)

6th ACM Conference on Computer and Communications Security November 2 - 4, 1999, Kent Ridge Digital Labs, Singapore
Veröffentlicht: (1999)

Robot reliability and safety
von: Dhillon, Balbir S. 1947-
Veröffentlicht: (1991)

Achieving quality, safety and reliability in software systems
Veröffentlicht: (1997)

FME '97: Industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings
Veröffentlicht: (1997)

Computer safety, reliability, and security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018 : proceedings
Veröffentlicht: (2018)