| 000 | 02627nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-981-10-4121-1 | ||
| 003 | DE-He213 | ||
| 005 | 20220801221319.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 171110s2018 si | s |||| 0|eng d | ||
| 020 |
_a9789811041211 _9978-981-10-4121-1 |
||
| 024 | 7 |
_a10.1007/978-981-10-4121-1 _2doi |
|
| 050 | 4 | _aTL1-4050 | |
| 072 | 7 |
_aTRP _2bicssc |
|
| 072 | 7 |
_aTTDS _2bicssc |
|
| 072 | 7 |
_aTEC002000 _2bisacsh |
|
| 072 | 7 |
_aTRP _2thema |
|
| 072 | 7 |
_aTTDS _2thema |
|
| 082 | 0 | 4 |
_a629.1 _223 |
| 245 | 1 | 0 |
_aFormal Methods for Safety and Security _h[electronic resource] : _bCase Studies for Aerospace Applications / _cedited by Manju Nanda, Yogananda Jeppu. |
| 250 | _a1st ed. 2018. | ||
| 264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2018. |
|
| 300 |
_aXII, 132 p. 42 illus., 24 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 520 | _aThis 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 leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. . | ||
| 650 | 0 |
_aAerospace engineering. _96033 |
|
| 650 | 0 |
_aAstronautics. _955318 |
|
| 650 | 0 |
_aMathematical optimization. _94112 |
|
| 650 | 0 |
_aCalculus of variations. _917382 |
|
| 650 | 0 |
_aSecurity systems. _931879 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 1 | 4 |
_aAerospace Technology and Astronautics. _955319 |
| 650 | 2 | 4 |
_aCalculus of Variations and Optimization. _931596 |
| 650 | 2 | 4 |
_aSecurity Science and Technology. _931884 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 700 | 1 |
_aNanda, Manju. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _955320 |
|
| 700 | 1 |
_aJeppu, Yogananda. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _955321 |
|
| 710 | 2 |
_aSpringerLink (Online service) _955322 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9789811041204 |
| 776 | 0 | 8 |
_iPrinted edition: _z9789811041228 |
| 776 | 0 | 8 |
_iPrinted edition: _z9789811350542 |
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-10-4121-1 |
| 912 | _aZDB-2-ENG | ||
| 912 | _aZDB-2-SXE | ||
| 942 | _cEBK | ||
| 999 |
_c79532 _d79532 |
||