LEADER 02996nam  22006375  450 
001 9910299571803321
005 20200702221846.0
010   $a981-10-4121-0
024 7 $a10.1007/978-981-10-4121-1
035   $a(CKB)4100000001040674
035   $a(DE-He213)978-981-10-4121-1
035   $a(MiAaPQ)EBC5143834
035   $a(PPN)221249494
035   $a(EXLCZ)994100000001040674
100   $a20171110d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Safety and Security $eCase Studies for Aerospace Applications  /$fedited by Manju Nanda, Yogananda Jeppu
205   $a1st ed. 2018.
210  1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 132 p. 42 illus., 24 illus. in color.) 
311   $a981-10-4120-2 
320   $aIncludes bibliographical references at the end of each chapters and index.
330   $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. .
606   $aAerospace engineering
606   $aAstronautics
606   $aCalculus of variations
606   $aQuality control
606   $aReliability
606   $aIndustrial safety
606   $aSoftware engineering
606   $aAerospace Technology and Astronautics$3https://scigraph.springernature.com/ontologies/product-market-codes/T17050
606   $aCalculus of Variations and Optimal Control; Optimization$3https://scigraph.springernature.com/ontologies/product-market-codes/M26016
606   $aQuality Control, Reliability, Safety and Risk$3https://scigraph.springernature.com/ontologies/product-market-codes/T22032
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aAerospace engineering.
615  0$aAstronautics.
615  0$aCalculus of variations.
615  0$aQuality control.
615  0$aReliability.
615  0$aIndustrial safety.
615  0$aSoftware engineering.
615 14$aAerospace Technology and Astronautics.
615 24$aCalculus of Variations and Optimal Control; Optimization.
615 24$aQuality Control, Reliability, Safety and Risk.
615 24$aSoftware Engineering.
676   $a629.1
702   $aNanda$b Manju$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJeppu$b Yogananda$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910299571803321
996   $aFormal Methods for Safety and Security$92535156
997   $aUNINA