Dependability Metrics Advanced Lectures /

Dependability Metrics Advanced Lectures /

Bibliographic Details
Published in:	Springer eBooks
Main Author:	Eusgeld, Irene
Corporate Author:	SpringerLink (Online service)
Other Authors:	Freiling, Felix C., Reussner, Ralf
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:	Lecture Notes in Computer Science,
Subjects:	Data protection Operating systems (Computers) Software engineering Computer Science Operating Systems Software Engineering Systems and Data Security
Online Access:	http://dx.doi.org/10.1007/978-3-540-68947-8 Перейти в каталог НБ ТГУ

Similar Items

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers /
Published: (2013)

Architecting Dependable Systems IV
by: Lemos, Rogério de
Published: (2007)

Architecting Dependable Systems III
by: Gacek, Cristina
Published: (2005)

Architecting Dependable Systems V
by: Hutchison, David
Published: (2008)

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings /
Published: (2013)

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8вЂ"10, 2006, Como, Italy /
by: Damiani, Ernesto
Published: (2006)

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends
by: Atkinson, Colin
Published: (2005)

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3вЂ"5 February 2009 /
by: Dale, Chris
Published: (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 /
Published: (2014)

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers /
Published: (2013)

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers /
Published: (2014)

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings /
Published: (2013)

Exploring the Raspberry Pi 2 with C++
by: Gay, Warren
Published: (2015)

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings /
Published: (2013)

Security Engineering for Service-Oriented Architectures
by: Hafner, Michael
Published: (2009)

Trusted Cloud Computing
Published: (2014)

Grid Computing Security
by: Chakrabarti, Anirban
Published: (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 /
Published: (2013)

Secure and Trustworthy Service Composition The Aniketos Approach /
Published: (2014)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
by: Kohlas, Jürg
Published: (2006)

Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings /
by: Miyaji, Atsuko
Published: (2007)

Anti-Spam Measures Analysis and Design /
by: Schryen, Guido
Published: (2007)

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings /
Published: (2014)

Aspect-Oriented Security Hardening of UML Design Models
by: Mouheb, Djedjiga, et al.
Published: (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 /
Published: (2014)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Published: (2013)

Ada 2012 Rationale The Language, The Standard Libraries /
by: Barnes, John
Published: (2013)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
Published: (2014)

Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1вЂ"6, 2001 Revised Papers /
by: Grigoras, Dan
Published: (2006)

Socio-technical Design of Ubiquitous Computing Systems
Published: (2014)

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings /
Published: (2013)

Soft Real-Time Systems Predictability vs. Efficiency /
by: Buttazzo, Giorgio
Published: (2005)

Analyzing Computer System Performance with Perl::PDQ
by: Gunther, Neil J.
Published: (2005)

Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)

Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
by: Suzuki, Kenji
Published: (2008)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Published: (2013)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by: Wang, Farn
Published: (2005)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
by: Najm, Elie
Published: (2006)

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
by: Derrick, John
Published: (2007)