Overview
Part of the book series: Communications in Computer and Information Science (CCIS, volume 1085)
Included in the following conference series:
Conference proceedings info: MEDI 2019.
Buy print copy
About this book
This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.
The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.
Similar content being viewed by others
Keywords
- artificial intelligence
- authentication
- cloud computing
- computer systems
- data privacy
- data security
- formal logic
- formal methods
- model checking
- privacy
- semantics
- sensor nodes
- software engineering
- specifications
- ubiquitous computing
- user interfaces
- wireless sensor networks
- wireless telecommunication systems
- World Wide Web
Table of contents (16 papers)
-
Workshop on Modeling, Verification and Testing of Dependable Critical Systems
-
Workshop on Data Science for Social Good in Africa
-
Workshop on Security and Privacy in Models and Data
Other volumes
-
New Trends in Model and Data Engineering
-
Model and Data Engineering
Editors and Affiliations
Bibliographic Information
Book Title: New Trends in Model and Data Engineering
Book Subtitle: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings
Editors: Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-030-32213-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-32212-0Published: 28 September 2019
eBook ISBN: 978-3-030-32213-7Published: 16 October 2019
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: VIII, 209
Number of Illustrations: 132 b/w illustrations, 53 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Information Systems Applications (incl. Internet), Systems and Data Security, Computer Systems Organization and Communication Networks