Formal Methods for Safety and Security, Manju Nanda; Yogananda Jeppu
Автор: John Fitzgerald Название: FM 2016 : formal methods ISBN: 3319489887 ISBN-13(EAN): 9783319489889 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.
Описание: 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.
Автор: Ken Binmore, Davies J. Название: Calculus: Concepts and methods, 2nd ed. ISBN: 0521775418 ISBN-13(EAN): 9780521775410 Издательство: Cambridge Academ Рейтинг: Цена: 9661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Takes readers gently from single to multivariate calculus and simple differential and difference equations. Unusually the book offers a wide range of applications in business and economics, as well as more conventional scientific examples. Full colour Mathematica diagrams have been used to give accurate and attractive diagrams to help students visualise the complex mathematical objects.
Автор: Manju Nanda; Yogananda Jeppu Название: Formal Methods for Safety and Security ISBN: 9811041202 ISBN-13(EAN): 9789811041204 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.
Автор: Bjr?ner, Nikolaj; De Boer, Frank Название: FM 2015 : formal methods ISBN: 3319192485 ISBN-13(EAN): 9783319192482 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
Автор: Carlo A. Furia and Kirsten Winter Название: Integrated formal methods. ISBN: 3319989375 ISBN-13(EAN): 9783319989372 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.
Автор: Bonakdarpour Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3319492586 ISBN-13(EAN): 9783319492582 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.
This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.
Автор: Nathalie Mitton; Hakima Chaouchi; Thomas Noel; Tho Название: Interoperability, Safety and Security in IoT ISBN: 3319527266 ISBN-13(EAN): 9783319527260 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Comparative Analysis of Opportunistic Communication Technologies.- Technical Overview of F-Interop.- BMFA: Bi-Directional Multicast Forwarding Algorithm for RPL-based 6LoWPANs.- Synchronization Abstractions and Separation of Concerns as Key Aspects to the Interoperability in IoT.- Providing Interoperability for Autonomic Control of Connected Devices.- A framework to support interoperability in IoT and facilitate the development and deployment of highly distributed cloud applications.- F-Interop - Online Platform of Interoperability and Performance Tests for the Internet of Things.- Guard Time Optimisation for Energy Efficiency in IEEE 802.15.4-2015 TSCH Links SaSeIoT.- On the Performance of Key Pre-distribution for RPL-based IoT Networks.- Formulating a Global Identifier Based on Actor Relationship for the Internet of Things.- Framework of Cyber Attack Attribution Based on Threat Intelligence.- UML Modeling of Cross-layer Attack in Wireless Sensor Networks.- Adoption of Miniaturized Safety-Related Systems for Industrial Internet-of-Things Applications.- Identifying DOS and DDOS Attack Origin: IP Traceback Methods Comparison and Evaluation for IoT.- Framework of Cyber Attack Attribution Based on Threat Intelligence.
The Importance of Human Error and Reliability Management in Critical Conditions and Infrastructures.- An Overview on Human Error Analysis and Reliability Assessment.- Mathematical Models for Reliability Allocation and Optimization for Complex Systems.- Integrated Engineering Approach to Safety, Reliability, Risk Management and Human Factors.- A Fuzzy Modeling Application for Human Reliability Analysis in the Process Industry.
Автор: Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmei Название: Computer Safety, Reliability, and Security ISBN: 3319105566 ISBN-13(EAN): 9783319105567 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014.
Автор: Andrea Bondavalli; Felicita Di Giandomenico Название: Computer Safety, Reliability, and Security ISBN: 3319105051 ISBN-13(EAN): 9783319105055 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.
Автор: Nadia Polikarpova and Steve Schneider Название: Integrated formal methods. ISBN: 3319668447 ISBN-13(EAN): 9783319668444 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
