New Trends in Model and Data Engineering
Produktnummer:
18f335aaf3383c4e03a33110c49381a8b8
| Themengebiete: | Quality of Service (QoS) artificial intelligence communication channels (information theory) distributed computer systems event-b formal logic formal methods formal verifications model checking semantics |
|---|---|
| Veröffentlichungsdatum: | 18.10.2018 |
| EAN: | 9783030028510 |
| Sprache: | Englisch |
| Seitenzahl: | 255 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos |
| Verlag: | Springer International Publishing |
| Untertitel: | MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings |
Produktinformationen "New Trends in Model and Data Engineering"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen