Formal methods for safety and security : case studies for aerospace applications /: case studies for aerospace applications. (2018)

• Record Type: Book
• Further Information: Note: Manju Nanda, Yogananda Jeppu, editors.
• Editors: Nanda, Manju; Jeppu, Yogananda
• Contents: Formal Methods – A Need for Practical Applications.- Formal Methods & Tools for Safety of Critical Systems.- Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries.- Dynamic Constrained Objects for Vehicular Network Modeling.- Adoption of Formal Methods in Software Safety Analysis.- Model-Based Safety Validation for Embedded Real-Time Systems.- Arguing formally about Flight Controls using SLDV and NuSMV.- Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects.- Design Fault Identification in Model-Based Design (MBD) for Safety Critical Systems.- Formal Methods Workflow for Model Based Development.- Race that never ends!.
• Publisher Details: Singapore : Springer
• Publication Date: 2018
• Extent: 1 online resource (xii, 132 pages), illustrations (some color)
• Subjects: 004.01/51; Formal methods (Computer science); COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; Formal methods (Computer science); Engineering; Aerospace Technology and Astronautics; Calculus of Variations and Optimal Control; Optimization; Quality Control, Reliability, Safety and Risk; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9789811041211; 9811041210
• Related ISBNs: 9789811041204; 9811041202
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 17, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.