New Trends in Model and Data Engineering
MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Editors: Abdelwahed, E.H., Bellatreche, L., Benslimane, D., Golfarelli, M., Jean, S., MERY, D., Nakamatsu, K., Ordonez, C. (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.
The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018.
- Table of contents (21 chapters)
-
-
Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks
Pages 5-16
-
An MDA Approach for the Specification of Relay-Based Diagrams
Pages 17-29
-
A Problem-Oriented Approach to Critical System Design and Diagnosis Support
Pages 30-39
-
Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets
Pages 40-49
-
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case
Pages 50-62
-
Table of contents (21 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- New Trends in Model and Data Engineering
- Book Subtitle
- MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
- Editors
-
- El Hassan Abdelwahed
- Ladjel Bellatreche
- Djamal Benslimane
- Matteo Golfarelli
- Stéphane Jean
- Dominique MERY
- Kazumi Nakamatsu
- Carlos Ordonez
- Series Title
- Communications in Computer and Information Science
- Series Volume
- 929
- Copyright
- 2018
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-02852-7
- DOI
- 10.1007/978-3-030-02852-7
- Softcover ISBN
- 978-3-030-02851-0
- Series ISSN
- 1865-0929
- Edition Number
- 1
- Number of Pages
- IX, 255
- Number of Illustrations
- 90 b/w illustrations
- Topics