Ergebnisse für: Support Dependability
Hier findest Du Bücher, die sich mit Support Dependability beschäftigen.
This book introduces readers to the key provisions of the URRAN-based technical asset management system - a methodology for managing resources and risks by analyzing and ensuring the required levels of reliability and safety in Russia’s railway transport facilities. It describes the architecture o...
This book gives a practical guide for designers and users in Information and Communication Technology context. In particular, in the first Section, the definition of the fundamental terms according to the international standards are given. Then, some theoretical concepts and reliability models are p...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial dep...
This book introduces readers to the key provisions of the URRAN-based technical asset management system - a methodology for managing resources and risks by analyzing and ensuring the required levels of reliability and safety in Russia’s railway transport facilities. It describes the architecture o...
This book gives a practical guide for designers and users in Information and Communication Technology context. In particular, in the first Section, the definition of the fundamental terms according to the international standards are given. Then, some theoretical concepts and reliability models are p...
This book gives a practical guide for designers and users in Information and Communication Technology context. In particular, in the first Section, the definition of the fundamental terms according to the international standards are given. Then, some theoretical concepts and reliability models are p...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial dep...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial dep...
This book introduces readers to the key provisions of the URRAN-based technical asset management system - a methodology for managing resources and risks by analyzing and ensuring the required levels of reliability and safety in Russia’s railway transport facilities. It describes the architecture o...
This book presents an interesting sample of the latest advances in optimization techniques applied to electrical power engineering. It covers a variety of topics from various fields, ranging from classical optimization such as Linear and Nonlinear Programming and Integer and Mixed-Integer Programmin...
This book presents an interesting sample of the latest advances in optimization techniques applied to electrical power engineering. It covers a variety of topics from various fields, ranging from classical optimization such as Linear and Nonlinear Programming and Integer and Mixed-Integer Programmin...