Formal Methods

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from...

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Udgivet i:Lecture Notes in Computer Science
Corporate Authors: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Format: Livro
Sprog:Inglês
Udgivet: Springer Nature 2025
Fag:
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
architecture verification and validation
artificial intelligence
design and analysis of algorithms
computational complexity and cryptography
embedded systems
model checking
formal methods
formal logic
machine learning
formal languages and automata theory
models of computation
semantics and reasoning
software engineering
theory and algorithms for application domains
Online adgang:https://directory.doabooks.org/handle/20.500.12854/144754
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker