TY - BOOK ID - 119294730 TI - NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings AU - Rozier, Kristin Yvonne. AU - Chaudhuri, Swarat. PY - 2023 SN - 3031331702 3031331699 PB - Cham : Springer Nature Switzerland : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Computer science. KW - Computer engineering. KW - Computer networks. KW - Artificial intelligence. KW - Computer simulation. KW - Software Engineering. KW - Theory of Computation. KW - Computer Engineering and Networks. KW - Artificial Intelligence. KW - Computer Modelling. KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Fifth generation computers KW - Neural computers KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Computers KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Distributed processing KW - Design and construction KW - Mathematics UR - https://www.unicat.be/uniCat?func=search&query=sysid:119294730 AB - 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. . ER -