New Trends in Model and Data Engineering New Trends in Model and Data Engineering

New Trends in Model and Data Engineering

MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

El Hassan Abdelwahed 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2018년
10월 17일
언어
EN
영어
길이
264
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
8
MB
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2018년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2016년