Omslagsbillede

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

Saved in:
Format: Online
Sprog:engelsk
Udgivet: Springer Nature 2024
Fag:
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
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
Online adgang:ONIX_20240913_9783031711770_29
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Internet

ONIX_20240913_9783031711770_29

Lignende værker