Formal Methods for Safety and Security
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....
fra 1 449,-
Tilgjengelig i 2 butikker
Frakt og levering
Forhåndsbestill
Frakt og levering
Produktinformasjon
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. The chapters in this book are authored by leading corporate and government R&D scientists.The contents of this book will be useful to researchers and professionals alike.
Topplisten: Other Brand Matematikk og naturfag
Spesifikasjon
Produkt
| Produktnavn | Formal Methods for Safety and Security |
| Merke | Other Brand |
Pris og prishistorikk
Akkurat nå er 1 449,- den billigste prisen for Formal Methods for Safety and Security blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste matematikk og naturfag for å være sikker på at du gjør det beste kjøpet.
Hydrometeorological HazardsFractional Order Intelligent Modeling for Lithium Ion BatteriesAdsorptive Separation Process for Water and Gaseous Air Pollution ControlHistory of Artificial Intelligence
Finite Fields and ApplicationsSigns of LifeThe History of Natural Stone in Saint PetersburgExperimental Models in Serotonin Transporter Research
Quaternary Foraminifera of the Caspian Black Sea Mediterranean Corridors: Volume 1Complex PolynomialsThe Teen's Guide To Saving the WorldVascular Plants of the Pacific Northwest