From data to models and back: 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers

Juliana Kuster Filipe Bowles; Giovanna Broccia; Roberto Pellungrini

doi:10.1007/978-3-031-16011-0

From data to models and back: 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers

Juliana Kuster Filipe Bowles (Editor), Giovanna Broccia (Editor), Roberto Pellungrini (Editor)

School of Computer Science

Research output: Book/Report › Book

Original language	English
Place of Publication	Cham
Publisher	Springer
Number of pages	193
ISBN (Electronic)	9783031160110
ISBN (Print)	9783031160103
DOIs	https://doi.org/10.1007/978-3-031-16011-0
Publication status	Published - 15 Oct 2022
Event	10^th International Symposium DataMod 2021 - Online Duration: 6 Dec 2021 → 7 Dec 2021 https://datamod2021.github.io/

Publication series

Name	Lecture notes in computer science
Volume	13268
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

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
Software design
Software engineering
Theoretical computer science

Access to Document

10.1007/978-3-031-16011-0

Cite this

@book{a878bfeaf7a34e71ba6f98192779864a,

title = "From data to models and back: 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers",

keywords = "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, Software design, Software engineering, Theoretical computer science",

editor = "{Kuster Filipe Bowles}, Juliana and Giovanna Broccia and Roberto Pellungrini",

year = "2022",

month = oct,

day = "15",

doi = "10.1007/978-3-031-16011-0",

language = "English",

isbn = "9783031160103",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Netherlands",

note = "10th International Symposium DataMod 2021 ; Conference date: 06-12-2021 Through 07-12-2021",

url = "https://datamod2021.github.io/",

}

TY - BOOK

T1 - From data to models and back

T2 - 10th International Symposium DataMod 2021

A2 - Kuster Filipe Bowles, Juliana

A2 - Broccia, Giovanna

A2 - Pellungrini, Roberto

PY - 2022/10/15

Y1 - 2022/10/15

KW - Architecting

KW - Architecture verification and validation

KW - Artificial intelligence

KW - Computer networks

KW - Correlation analysis

KW - Data mining

KW - Databases

KW - Embedded systems

KW - Formal logic

KW - Formal methods

KW - Machine learning

KW - Model checking

KW - Network protocols

KW - Signal processing

KW - Software architecture

KW - Software design

KW - Software engineering

KW - Theoretical computer science

UR - https://discover.libraryhub.jisc.ac.uk/search?isn=9783031160103&rn=1

U2 - 10.1007/978-3-031-16011-0

DO - 10.1007/978-3-031-16011-0

M3 - Book

SN - 9783031160103

T3 - Lecture notes in computer science

BT - From data to models and back

PB - Springer

CY - Cham

Y2 - 6 December 2021 through 7 December 2021

ER -

From data to models and back: 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers

Publication series

Keywords

Access to Document

Other files and links

A secure user-centred healthcare system: design and verification

Model-based security assessment on the design of a patient-centric data sharing platform

Cite this