Ata uhi

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

Whakaahuatanga katoa

I tiakina i:
Hōputu: Online
Reo:Ingarihi
I whakaputaina: Springer Nature 2024
Ngā marau:
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
Urunga tuihono:ONIX_20240913_9783031711626_28
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ipurangi

ONIX_20240913_9783031711626_28

Ngā tūemi rite