QR kód

Formal Methods for Safety and Security Case Studies for Aerospace Applications /

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as aerospace. The chapters in this book are authored by...

Uloženo v:

Podrobná bibliografie
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Singapore : Springer Singapore , 2018.
Vydání:	1st ed. 2018.
Témata:	Aerospace engineering. Astronautics. Calculus of variations. Quality control. Reliability. Industrial safety. Software engineering.
ISBN:	9789811041211
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Initial Airworthiness Determining the Acceptability of New Airborne Systems /
Autor: Gratton, Guy
Vydáno: (2018)

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Vydáno: (2018)

Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research
Autor: Shang, Chao
Vydáno: (2018)

Technical Safety - An Attribute of Quality An Interdisciplinary Approach and Guideline /
Autor: Keller, Hubert
Vydáno: (2018)

Relay Tuning of PID Controllers For Unstable MIMO Processes /
Autor: Chidambaram, M.
Vydáno: (2018)

Active System Control Design of System Resilience /
Autor: Schagaev, Igor
Vydáno: (2018)

Man-Machine-Environment System Engineering Proceedings of the 17th International Conference on MMESE /
Vydáno: (2018)

Fundamentals of Optimization Methods, Minimum Principles, and Applications for Making Things Better /
Autor: French, Mark
Vydáno: (2018)

Advances in Aerospace Guidance, Navigation and Control Selected Papers of the Fourth CEAS Specialist Conference on Guidance, Navigation and Control Held in Warsaw, Poland, April 2017 /
Vydáno: (2018)

Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures Decision Making, Theory, and Practice /
Vydáno: (2018)

Investigation of Spatial Control Strategies with Application to Advanced Heavy Water Reactor
Autor: Munje, Ravindra
Vydáno: (2018)

Industrializing Additive Manufacturing - Proceedings of Additive Manufacturing in Products and Applications - AMPA2017
Vydáno: (2018)

Process Control Theory and Applications /
Autor: Corriou, Jean-Pierre
Vydáno: (2018)

Precision Product-Process Design and Optimization Select Papers from AIMTDR 2016 /
Vydáno: (2018)

Control Engineering and Finance
Autor: Hacısalihzade, Selim S.
Vydáno: (2018)

Recent Studies on Risk Analysis and Statistical Modeling
Vydáno: (2018)

Advances in Health and Environment Safety Select Proceedings of HSFEA 2016 /
Vydáno: (2018)

Safety Cultures, Safety Models Taking Stock and Moving Forward /
Vydáno: (2018)

Managing Health, Safety and Well-Being Ethics, Responsibility and Sustainability /
Autor: Jain, Aditya
Vydáno: (2018)

Fault Diagnosis of Hybrid Dynamic and Complex Systems
Vydáno: (2018)

Software Failure Investigation A Near-Miss Analysis Approach /
Autor: Eloff, Jan
Vydáno: (2018)

Reinforcement Learning for Optimal Feedback Control A Lyapunov-Based Approach /
Autor: Kamalapurkar, Rushikesh
Vydáno: (2018)

Industrial Safety Management 21st Century Perspectives of Asia /
Vydáno: (2018)

Point Processes for Reliability Analysis Shocks and Repairable Systems /
Autor: Cha, Ji Hwan
Vydáno: (2018)

Recent Advances in Multi-state Systems Reliability Theory and Applications /
Vydáno: (2018)

Strategies and Techniques for Quality and Flexibility
Autor: Barad, Miryam
Vydáno: (2018)

Model-Reference Adaptive Control A Primer /
Autor: Nguyen, Nhan T.
Vydáno: (2018)

Aerial Manipulation
Autor: Orsag, Matko
Vydáno: (2018)

Transdisciplinary Systems Engineering Exploiting Convergence in a Hyper-Connected World /
Autor: Madni, Azad M.
Vydáno: (2018)

Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA /
Vydáno: (2018)

Micro Newton Thruster Development Direct Thrust Measurements and Thruster Downscaling /
Autor: Hey, Franz Georg
Vydáno: (2018)

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016 /
Vydáno: (2018)

Ergonomic Design of Products and Worksystems - 21st Century Perspectives of Asia
Vydáno: (2018)

Frontiers in Statistical Quality Control 12
Vydáno: (2018)

Introduction to Dynamics of Structures and Earthquake Engineering
Autor: Cimellaro, Gian Paolo
Vydáno: (2018)

New Perspectives on Applied Industrial Tools and Techniques
Vydáno: (2018)

The Test and Launch Control Technology for Launch Vehicles
Autor: Song, Zhengyu
Vydáno: (2018)

Low Earth Orbit Satellite Design
Autor: Sebestyen, George
Vydáno: (2018)

Proceedings of the 28th Conference of Spacecraft TT&C Technology in China Openness, Integration and Intelligent Interconnection /
Vydáno: (2018)

Advanced Maintenance Policies for Shock and Damage Models
Autor: Zhao, Xufeng
Vydáno: (2018)