Login

Jeppu, Yogananda

Formal Methods for Safety and Security

Jeppu, Yogananda - Formal Methods for Safety and Security, ebook

115,30€

Ebook, PDF with Adobe DRM
ISBN: 9789811041211
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Formal Methods—A Need for Practical Applications
Manju Nanda, J. Jayanthi, Yogananda Jeppu

2. Formal Methods and Tools for Safety of Critical Systems
K. S. Kushal, Manju Nanda, J. Jayanthi

3. Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries
Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit

4. Dynamic Constrained Objects for Vehicular Network Modeling
Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

5. Adoption of Formal Methods in Software Safety Analysis
Ankita Srivastava, S. K. Goswami

6. Model-Based Safety Validation for Embedded Real-Time Systems
Gracy Philip, Meenakshi D’Souza

7. Arguing Formally About Flight Control Laws Using SLDV and NuSMV
Natasha Jeppu, Yogananda Jeppu

8. Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects
Krishnamani Kalyan

9. Design Fault Identification in MBD for Safety Critical Systems
Benkmann Ruben, Gourish Kumbar, S. Mouneshwar

10. Formal Methods Workflow for Model-Based Development
Gaurav Dubey, Manoj G. Dixit

11. Race That Never Ends!
B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan

Keywords: Engineering, Aerospace Technology and Astronautics, Calculus of Variations and Optimal Control; Optimization, Quality Control, Reliability, Safety and Risk, Software Engineering

Editor
 
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9789811041211
Printed ISBN
978-981-10-4120-4

Similar titles