From Data to Models and Back

Beschreibung

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 verification; data mining and processing related approaches; and other approaches.

Autor*in

Juliana Bowles

Themen in »From Data to Models and Back«

architecting architecture verification and validation artificial intelligence computer networks correlation analysis data mining databases embedded systems formal logic formal methods machine learning model checking network protocols signal processing software architecture

Stimmen zu »From Data to Models and Back«

Details

Link teilen