Dependability Metrics Advanced Lectures /

Dependability Metrics Advanced Lectures /

Библиографическая информация
Опубликовано в: :	Springer eBooks
Главный автор:	Eusgeld, Irene
Соавтор:	SpringerLink (Online service)
Другие авторы:	Freiling, Felix C., Reussner, Ralf
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Серии:	Lecture Notes in Computer Science,
Предметы:	Data protection Operating systems (Computers) Software engineering Computer Science Operating Systems Software Engineering Systems and Data Security
Online-ссылка:	http://dx.doi.org/10.1007/978-3-540-68947-8 Перейти в каталог НБ ТГУ

Похожие документы

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers /
Публикация: (2013)

Architecting Dependable Systems IV
по: Lemos, Rogério de
Публикация: (2007)

Architecting Dependable Systems III
по: Gacek, Cristina
Публикация: (2005)

Architecting Dependable Systems V
по: Hutchison, David
Публикация: (2008)

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings /
Публикация: (2013)

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8вЂ"10, 2006, Como, Italy /
по: Damiani, Ernesto
Публикация: (2006)

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends
по: Atkinson, Colin
Публикация: (2005)

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3вЂ"5 February 2009 /
по: Dale, Chris
Публикация: (2009)

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers /
Публикация: (2014)

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers /
Публикация: (2013)

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers /
Публикация: (2014)

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings /
Публикация: (2013)

Exploring the Raspberry Pi 2 with C++
по: Gay, Warren
Публикация: (2015)

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings /
Публикация: (2013)

Security Engineering for Service-Oriented Architectures
по: Hafner, Michael
Публикация: (2009)

Trusted Cloud Computing
Публикация: (2014)

Grid Computing Security
по: Chakrabarti, Anirban
Публикация: (2007)

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Публикация: (2013)

Secure and Trustworthy Service Composition The Aniketos Approach /
Публикация: (2014)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
по: Kohlas, Jürg
Публикация: (2006)

Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings /
по: Miyaji, Atsuko
Публикация: (2007)

Anti-Spam Measures Analysis and Design /
по: Schryen, Guido
Публикация: (2007)

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings /
Публикация: (2014)

Aspect-Oriented Security Hardening of UML Design Models
по: Mouheb, Djedjiga, et al.
Публикация: (2015)

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Публикация: (2014)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Публикация: (2013)

Ada 2012 Rationale The Language, The Standard Libraries /
по: Barnes, John
Публикация: (2013)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
Публикация: (2014)

Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1вЂ"6, 2001 Revised Papers /
по: Grigoras, Dan
Публикация: (2006)

Socio-technical Design of Ubiquitous Computing Systems
Публикация: (2014)

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings /
Публикация: (2013)

Soft Real-Time Systems Predictability vs. Efficiency /
по: Buttazzo, Giorgio
Публикация: (2005)

Analyzing Computer System Performance with Perl::PDQ
по: Gunther, Neil J.
Публикация: (2005)

Formal Models of Operating System Kernels
по: Craig, Iain D.
Публикация: (2007)

Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
по: Suzuki, Kenji
Публикация: (2008)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Публикация: (2013)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
по: Wang, Farn
Публикация: (2005)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
по: Najm, Elie
Публикация: (2006)

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
по: Derrick, John
Публикация: (2007)