Imagem da capa

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

ver descrição completa

Na minha lista:
Formato: Online
Idioma:inglês
Publicado em: Springer Nature 2024
Assuntos:
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
Acesso em linha:ONIX_20240913_9783031711626_28
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados