/ embeddedsystems / formallogic / formalmethods / Künstliche Intelligenz (KI) / machinelearning / modelchecking / networkprotocols / signalprocessing / softwarearchitecture / Softwaredesign / Softwareengineering / theoreticalcomputerscience / Theoretische Informatik

This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.

The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri¿cation; data mining and processing related approaches; and other approaches.