Stochastic Models in Reliability, Network Security and System Safety, Quan-Lin Li; Jinting Wang; Hai-Bo Yu
Автор: Lecomte Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 3319339508 ISBN-13(EAN): 9783319339504 Издательство: Springer Рейтинг: Цена: 46590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Alexander Romanovsky; Elena Troubitsyna; Friedeman Название: Computer Safety, Reliability, and Security ISBN: 3030266001 ISBN-13(EAN): 9783030266004 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.
Автор: Tadashi Dohi; Toshio Nakagawa Название: Stochastic Reliability and Maintenance Modeling ISBN: 1447161823 ISBN-13(EAN): 9781447161820 Издательство: Springer Рейтинг: Цена: 139310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In honor of the work of Professor Shunji Osaki, this book provides a comprehensive study of the legacy of and ongoing research in stochastic reliability and maintenance modeling. It shows readers how to apply the theory to computer and communication systems.
Автор: Friedemann Bitsch; J?r?mie Guiochet; Mohamed Ka?ni Название: Computer Safety, Reliability, and Security ISBN: 3642407927 ISBN-13(EAN): 9783642407925 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions.
Автор: Simon Collart-Dutilleul; Thierry Lecomte; Alexande Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 3030187438 ISBN-13(EAN): 9783030187439 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;
Автор: Zheng Yan; Refik Molva; Wojciech Mazurczyk; Raimo Название: Network and System Security ISBN: 3319647008 ISBN-13(EAN): 9783319647005 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 11th International Conference on Network and System Security, NSS 2017, held in Helsinki, Finland, in August 2017. This volume also contains 35 contributions of the following workshops: Security Measurements of Cyber Networks (SMCN-2017);
Автор: Man Ho Au; Barbara Carminati; C.-C. Jay Kuo Название: Network and System Security ISBN: 3319116975 ISBN-13(EAN): 9783319116976 Издательство: Springer Рейтинг: Цена: 67080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are organized in topical sections on cloud computing, access control, network security, security analysis, public key cryptography, system security, privacy-preserving systems and biometrics, and key management and distribution.
Автор: Chin Diew Lai; R.E. Barlow; Min Xie Название: Stochastic Ageing and Dependence for Reliability ISBN: 144192129X ISBN-13(EAN): 9781441921291 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A panoramic view of theory and applications of Ageing and Dependence in the use of mathematical methods in reliability and survival analysis. This book has applications, exercises, and examples, and serves as reference book for professors and researchers.
Автор: Jong-Hyouk Lee; Sangheon Pack Название: Quality, Reliability, Security and Robustness in Heterogeneous Networks ISBN: 3319607162 ISBN-13(EAN): 9783319607160 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.
Автор: Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems ISBN: 3030144127 ISBN-13(EAN): 9783030144128 Издательство: Springer Рейтинг: Цена: 39130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018. The 13 revised full papers were carefully reviewed and selected from 28 submissions. The papers are organized thematically in tracks, starting with security and privacy, telecommunication systems and networks, networks and applications.
Автор: Poong-Hyun Seong Название: Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems ISBN: 1849967970 ISBN-13(EAN): 9781849967976 Издательство: Springer Рейтинг: Цена: 174130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Here is comprehensive coverage of reliability issues and their countermeasures in large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems.
Автор: Anatoly Lisnianski; Ilia Frenkel; Yi Ding Название: Multi-state System Reliability Analysis and Optimization for Engineers and Industrial Managers ISBN: 1447157044 ISBN-13(EAN): 9781447157045 Издательство: Springer Рейтинг: Цена: 156720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This practically oriented book presents a comprehensive, up-to-date description of multi-state system (MSS) reliability as a natural extension of classical binary-state reliability. It presents all essential theoretical achievements in the field.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz