Formal Methods: Foundations and Applications
| ISBN: | 9783031781155 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | C. Nogueira, Sidney Teodorov, Ciprian |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 29.11.2024 |
| Untertitel: | 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings |
| Schlagworte: | Computer Communication Networks Controlled Natural Language Coq Proof Assistant Ethereum Künstliche Intelligenz Linear Temporal Logic Logic in AI Natural Language Processing (NLP) Natürliche Sprachen und maschinelle Übersetzung Netzwerk-Hardware Open Banking Privacy-Risk Analysis Quantitative Information Flow Smart Contracts Software Engineering Special Purpose and Application-Based Systems Theoretische Informatik Theory of Computation UML UML activities UML state machines Wissensbasierte Systeme, Expertensysteme formal verification machine learning modal logic model checking nearest neighbors classification path planning signal temporal logics trajectory optimization |