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...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Dutle, Aaron (Editor), Humphrey, Laura (Editor), Titolo, Laura (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Vydání:	1st ed. 2025.
Edice:	Lecture Notes in Computer Science, 15682
Témata:	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.
On-line přístup:	https://doi.org/10.1007/978-3-031-93706-4
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!