Formal Methods for Safety and Security
-15%
portes grátis
Formal Methods for Safety and Security
Case Studies for Aerospace Applications
Nanda, Manju; Jeppu, Yogananda
Springer Verlag, Singapore
11/2017
132
Dura
Inglês
9789811041204
15 a 20 dias
3697
Descrição não disponível.
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!.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Safety Application;Security Application;Indian Industry;safety critical systems;safety critical applications;software safety;quality control, reliability, safety and risk
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!.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
