Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2025 Springer
Vydání:	1
Edice:	Lecture Notes in Computer Science
Témata:	architecture verification and validation Artificial intelligence computational complexity and cryptography Computer hardware Computer programming / software engineering Computer science Computing and Information Technology design and analysis of algorithms embedded systems Expert systems / knowledge-based systems formal languages and automata theory formal logic formal methods machine learning Mathematical theory of computation model checking models of computation Natural language and machine translation Programming and scripting languages: general semantics and reasoning Software Engineering theory and algorithms for application domains
ISBN:	3031711769, 9783031711770, 3031711777, 9783031711763
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!