Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal Methods for Safety and Securi...
~
Nanda, Manju.
Formal Methods for Safety and Security = Case Studies for Aerospace Applications /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal Methods for Safety and Security/ edited by Manju Nanda, Yogananda Jeppu.
Reminder of title:
Case Studies for Aerospace Applications /
other author:
Nanda, Manju.
Description:
XII, 132 p. 42 illus., 24 illus. in color.online resource. :
Contained By:
Springer Nature eBook
Subject:
Aerospace engineering. -
Online resource:
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 Security
Case 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)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login