16 131 539 książek w 175 językach
Jednak się nie przyda? Nic nie szkodzi! U nas możesz zwrócić towar do 30 dni
Bon prezentowy to zawsze dobry pomysł. Obdarowany może za bon prezentowy wybrać cokolwiek z naszej oferty.
30 dni na zwrot towaru
This book contains articles accepted for presentation at the 4th IFIP Working Conference on Dependable Computing for Critical Applications. 21 papers selected from a total of 95 submitted articles address all aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system s reliability, availability, safety, security and performance.§The presentations aim to contribute to a unified understanding and integration of these concepts, so future computer based systems will indeed be more dependable.§In addition contributions to three panel sessions are included: The first, entitled "Formal Methods for Safety in Critical Systems explored the role of formal methods in specifying and assessing system safety; the second, entitled "Qualitative versus Quantitative Assessment of Security? debated the role that methods based on mathematical logic and stochastic techniques ought to play in assessing system security; and the third entitled "Common Techniques for Fault-tolerance and Security explored techniques that are useful for attaining both fault-tolerance and security.