Get 40% off of select print and eBooks in Engineering & Materials Science!

Communications in Computer and Information Science

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 Preview

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-030-02852-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-030-02851-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

Table of contents (21 chapters)
  • Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks

    Pages 5-16

    Younes, Sana (et al.)

  • An MDA Approach for the Specification of Relay-Based Diagrams

    Pages 17-29

    Almeida Pereira, Dalay Israel (et al.)

  • A Problem-Oriented Approach to Critical System Design and Diagnosis Support

    Pages 30-39

    Leildé, Vincent (et al.)

  • Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

    Pages 40-49

    Cheikhrouhou, Saoussen (et al.)

  • Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case

    Pages 50-62

    Boudi, Zakaryae (et al.)

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-030-02852-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-030-02851-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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