000 | 03566nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-319-77935-5 | ||
003 | DE-He213 | ||
005 | 20210201191315.0 | ||
007 | cr nn 008mamaa | ||
008 | 180310s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319779355 _9978-3-319-77935-5 |
||
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aNASA Formal Methods _h[electronic resource] : _b10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / _cedited by Aaron Dutle, César Muñoz, Anthony Narkawicz. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXI, 470 p. 156 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v10811 |
|
500 | _aAcceso multiusuario | ||
520 | _aThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer simulation. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer system failures. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aSimulation and Modeling. _0https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
650 | 2 | 4 |
_aTheory of Computation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16005 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
700 | 1 |
_aDutle, Aaron. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aMuñoz, César. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aNarkawicz, Anthony. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319779348 |
776 | 0 | 8 |
_iPrinted edition: _z9783319779362 |
830 | 0 |
_aProgramming and Software Engineering ; _v10811 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-77935-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c241976 _d241975 |