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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2025 Springer
Ausgabe:	1
Schriftenreihe:	Lecture Notes in Computer Science
Schlagworte:	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:	9783031711619, 9783031711626, 3031711629, 3031711610
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!