NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submis...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edisyon: | 1st ed. 2024. |
| Seri Bilgileri: | Lecture Notes in Computer Science,
14627 |
| Konular: | |
| Online Erişim: | https://doi.org/10.1007/978-3-031-60698-4 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-60698-4 | ||
| 003 | DE-He213 | ||
| 005 | 20251225195024.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 240527s2024 sz | s |||| 0|eng d | ||
| 020 | |a 9783031606984 |9 978-3-031-60698-4 | ||
| 024 | 7 | |a 10.1007/978-3-031-60698-4 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a NASA Formal Methods |h [electronic resource] : |b 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings / |c edited by Nathaniel Benz, Divya Gopinath, Nija Shi. |
| 250 | |a 1st ed. 2024. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2024. | |
| 300 | |a XXIII, 438 p. 89 illus., 61 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 | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14627 | |
| 520 | |a This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems. | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Computer engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer simulation. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Computer Engineering and Networks. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computer Modelling. |
| 700 | 1 | |a Benz, Nathaniel. |e editor. |0 (orcid)0009-0003-9672-5929 |1 https://orcid.org/0009-0003-9672-5929 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Gopinath, Divya. |e editor. |0 (orcid)0000-0002-1242-7701 |1 https://orcid.org/0000-0002-1242-7701 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Shi, Nija. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031606977 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031606991 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14627 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-60698-4 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||