000			02863nam a22005895i 4500
999			_c13304 _d13304
001			978-981-10-4121-1
003			DE-He213
005			20211207094145.0
008			171110s2018 si | s |||| 0|eng d
020			_a9789811041211
040			_cAIKTC-KRRC
041			_aENG
072		7	_aTRP _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 /
250			_a1st ed. 2018.
264		1	_aSingapore : _bSpringer Singapore : _bImprint: Springer, _c2018.
300			_aXII, 132 p. 42 illus., 24 illus. in color. _bCard Paper
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	_aMechanical Engineering _94626
653			_aAerospace Technology and Astronautics.
653			_aCalculus of Variations and Optimal Control; Optimization.
653			_aQuality Control, Reliability, Safety and Risk.
653			_aSoftware Engineering.
700	1		_aNanda, Manju. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aJeppu, Yogananda. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
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 _zClick here to access eBook in Springer Nature platform. (Within Campus only.)
942			_cEBOOKS _2ddc