Copied Formal Methods for Safety and Security
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. 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. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$79.99 | $79.99 |
|
$79.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Destined Statecraft
$139.99
Bridging the Communication Gap in Science and Technology
$29.99
Authigenic Minerals in Sedimentary Rocks
$39.99
Long-Term Durability of Polymeric Matrix Composites
$219.99
State, Market, and Democracy in Chile
$54.99
Kohlenwirtschaftsorganisationen
$59.99
Die internationale Schiedsgerichtsbarkeit in der vlkerrechtlichen Praxis der Bundesrepublik Deutsch
$69.95
Eicosanoids in Inflammatory Conditions of the Lung, Skin and Joints
$39.99
Ricky Ricotta's Mighty Robot vs. the Unpleasant Penguins from Pluto
$5.24
Stereochemistry - Workbook
$34.99
The Interpretation of Belief
$29.95
Leading Real Estate
$89.99
Mobilitt von Jugendlichen
$64.99
Interpolation Theory, Systems Theory and Related Topics
$109.99
Functional Ultrastructure
$159.00
Forum Mergers & Acquisitions 2014
$69.99
Contemporary Irish Popular Culture
$89.00
Body Sensations
$69.99
From Stigma to Support
$129.99
Design and Delivery of SiRNA Therapeutics
$199.99
Advances in Order Restricted Statistical Inference
$109.99
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$54.99
Ocular Drug Delivery: Advances, Challenges and Applications
$84.99
Functional and Logic Programming
$54.99
Merz Telescopes
$119.99
Business Multimedia
$29.99
Higher Education in the Asia-Pacific
$169.99
The History and Future of Correctional Psychology
$129.99
Applied Financial Econometrics
$84.99
Hypothesen Testen
$17.99
Arbeitsverteilung und Terminwesen in Maschinenfabriken
$59.99
Perspektiven der internationalen Kommunikationspolitik
$79.99
An Introduction to Optimal Control Theory
$64.99
Machine Learning for Environmental Noise Classification in Smart Cities
$54.99
Die NATO im Funktions- und Bedeutungswandel
$17.99
Analytical Theory of Biological Populations
$84.99
Therapeutic Songwriting
$44.99
Artificial Intelligence. ECAI 2023 International Workshops
$119.99
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$39.99
Complex Variables
$99.99
