Obálka

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

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with adva...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Rozier, Kristin Yvonne (Editor), Chaudhuri, Swarat (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Vydání:1st ed. 2023.
Edice:Lecture Notes in Computer Science, 13903
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-33170-1
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. .
Fyzický popis:1 online resource (XXIII, 490 p. 149 illus.). 89 illus. in color.
ISBN:9783031331701
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-33170-1

Podobné jednotky