Formal Methods for Safety and Security (Record no. 79532)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02627nam a22005895i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-981-10-4121-1 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220801221319.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 171110s2018 si | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9789811041211 |
| -- | 978-981-10-4121-1 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 629.1 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods for Safety and Security |
| Sub Title | Case Studies for Aerospace Applications / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XII, 132 p. 42 illus., 24 illus. in color. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. . |
| 700 1# - AUTHOR 2 | |
| Author 2 | Nanda, Manju. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Jeppu, Yogananda. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-981-10-4121-1 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Singapore : |
| -- | Springer Nature Singapore : |
| -- | Imprint: Springer, |
| -- | 2018. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Aerospace engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Astronautics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical optimization. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Calculus of variations. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Security systems. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Aerospace Technology and Astronautics. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Calculus of Variations and Optimization. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Security Science and Technology. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering. |
| 912 ## - | |
| -- | ZDB-2-ENG |
| 912 ## - | |
| -- | ZDB-2-SXE |
No items available.