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

Name: Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Brand: Springer Verlag, Singapore
SKU: 9789811041204
Price: 2679 CZK
Availability: InStock

Autor: Manju Nanda, Yogananda Jeppu

Jazyk:

Vazba: Pevná

Vydavatel: Springer Verlag, Singapore

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

2 679 Kč

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve...

Informace o knize

Autor

Manju Nanda, Yogananda Jeppu

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2017

Stránek

132

EAN

9789811041204

ISBN

9811041202

Enbook ID

15853291

Vydavatel

Springer Verlag, Singapore

Hmotnost

3697

Rozměry

155 x 235 x 12

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také