國立虎尾科技大學 |

登入

回首頁

Formal Methods for Safety and Securi...

Nanda, Manju.

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Methods for Safety and Security/ edited by Manju Nanda, Yogananda Jeppu.
其他題名:	Case Studies for Aerospace Applications /
其他作者:	Nanda, Manju.
面頁冊數:	XII, 132 p. 42 illus., 24 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Aerospace engineering. -
電子資源:	https://doi.org/10.1007/978-981-10-4121-1
ISBN:	9789811041211

Formal Methods for Safety and Security = Case Studies for Aerospace Applications /
Formal Methods for Safety and SecurityCase Studies for Aerospace Applications /[electronic resource] :edited by Manju Nanda, Yogananda Jeppu. - 1st ed. 2018. - XII, 132 p. 42 illus., 24 illus. in color.online resource.

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 leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. .

ISBN: 9789811041211

Standard No.: 10.1007/978-981-10-4121-1doiSubjects--Topical Terms:

686400
Aerospace engineering.

LC Class. No.: TL787-4050.22

Dewey Class. No.: 629.1

Formal Methods for Safety and Security = Case Studies for Aerospace Applications /
LDR:01842nam a22004095i 4500 001 997009
003 DE-He213
005 20200702221846.0
007 cr nn 008mamaa
008 201225s2018 si | s |||| 0|eng d
020 $a 9789811041211 $9 978-981-10-4121-1
024 7 $a 10.1007/978-981-10-4121-1 $2 doi
035 $a 978-981-10-4121-1
050 4 $a TL787-4050.22
050 4 $a TC1-1800
072 7 $a TRP $2 bicssc
072 7 $a TEC002000 $2 bisacsh
072 7 $a TRP $2 thema
072 7 $a TTDS $2 thema
082 0 4 $a 629.1 $2 23
245 1 0 $a Formal Methods for Safety and Security $h [electronic resource] : $b Case Studies for Aerospace Applications / $c edited by Manju Nanda, Yogananda Jeppu.
250 $a 1st ed. 2018.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2018.
300 $a XII, 132 p. 42 illus., 24 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
520 $a 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 leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. .
650 0 $a Aerospace engineering. $3 686400
650 0 $a Astronautics. $3 646219
650 0 $a Calculus of variations. $3 527927
650 0 $a Quality control. $3 573723
650 0 $a Reliability. $3 573603
650 0 $a Industrial safety. $3 568114
650 0 $a Software engineering. $3 562952
650 1 4 $a Aerospace Technology and Astronautics. $3 683885
650 2 4 $a Calculus of Variations and Optimal Control; Optimization. $3 593942
650 2 4 $a Quality Control, Reliability, Safety and Risk. $3 671184
650 2 4 $a Software Engineering. $3 669632
700 1 $a Nanda, Manju. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1288276
700 1 $a Jeppu, Yogananda. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1288277
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811041204
776 0 8 $i Printed edition: $z 9789811041228
776 0 8 $i Printed edition: $z 9789811350542
856 4 0 $u https://doi.org/10.1007/978-981-10-4121-1
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別