Verwandte Artikel zu Formal Methods for Safety and Security: Case Studies...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
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!.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
