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

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Kaituhi rangatōpū:	SpringerLink (Online service)
Ētahi atu kaituhi:	Dutle, Aaron (Editor), Humphrey, Laura (Editor), Titolo, Laura (Editor)
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Putanga:	1st ed. 2025.
Rangatū:	Lecture Notes in Computer Science, 15682
Ngā marau:	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.
Urunga tuihono:	https://doi.org/10.1007/978-3-031-93706-4
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!