Описание: 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.
Описание: 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.
Описание: 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.
Автор: Friedemann Bitsch; J?r?mie Guiochet; Mohamed Ka?ni Название: Computer Safety, Reliability, and Security ISBN: 3642407927 ISBN-13(EAN): 9783642407925 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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;
Автор: Alexander Romanovsky; Elena Troubitsyna; Friedeman Название: Computer Safety, Reliability, and Security ISBN: 3030266001 ISBN-13(EAN): 9783030266004 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Zheng Yan; Refik Molva; Wojciech Mazurczyk; Raimo Название: Network and System Security ISBN: 3319647008 ISBN-13(EAN): 9783319647005 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Tadashi Dohi; Toshio Nakagawa Название: Stochastic Reliability and Maintenance Modeling ISBN: 1447161823 ISBN-13(EAN): 9781447161820 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Chin Diew Lai; R.E. Barlow; Min Xie Название: Stochastic Ageing and Dependence for Reliability ISBN: 144192129X ISBN-13(EAN): 9781441921291 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Joseph K. Liu; Xinyi Huang Название: Network and System Security ISBN: 3030369374 ISBN-13(EAN): 9783030369378 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th International Conference on Network and System Security, NSS 2019, held in Sapporo, Japan, in December 2019. The 36 full papers and 7 short papers presented together with 4 invited papers in this book were carefully reviewed and selected from 89 initial submissions.
Описание: This book constitutes the refereed post-conference proceedings of the 13th International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2017, held in Dalian, China, in December 2017.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
