Kansikuva

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal t...

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Dutle, Aaron (Toimittaja), Humphrey, Laura (Toimittaja), Titolo, Laura (Toimittaja)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Painos:	1st ed. 2025.
Sarja:	Lecture Notes in Computer Science, 15682
Aiheet:	Software engineering. Computer science. Computer engineering. Computer networks . Artificial intelligence. Computer simulation. Software Engineering. Theory of Computation. Computer Engineering and Networks. Artificial Intelligence. Computer Modelling.
Linkit:	https://doi.org/10.1007/978-3-031-93706-4
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Julkaistu: (2024)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Julkaistu: (2023)

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Julkaistu: (2024)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Julkaistu: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II /
Julkaistu: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I /
Julkaistu: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III /
Julkaistu: (2025)

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Julkaistu: (2023)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Julkaistu: (2023)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Julkaistu: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Julkaistu: (2025)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Julkaistu: (2025)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Julkaistu: (2023)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Julkaistu: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Julkaistu: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Julkaistu: (2024)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Julkaistu: (2024)

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Julkaistu: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Julkaistu: (2025)

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings /
Julkaistu: (2024)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Julkaistu: (2024)

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
Julkaistu: (2025)

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers /
Julkaistu: (2024)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Julkaistu: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Julkaistu: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Julkaistu: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Julkaistu: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI /
Julkaistu: (2025)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Julkaistu: (2023)

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16–18, 2025, Proceedings /
Julkaistu: (2025)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
Julkaistu: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
Julkaistu: (2023)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
Julkaistu: (2025)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
Julkaistu: (2025)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Julkaistu: (2023)