LEADER 04585nam 22007575 450 001 9910299312803321 005 20200702001924.0 010 $a3-030-02852-6 024 7 $a10.1007/978-3-030-02852-7 035 $a(CKB)4100000007110902 035 $a(DE-He213)978-3-030-02852-7 035 $a(MiAaPQ)EBC6297153 035 $a(PPN)231461968 035 $a(EXLCZ)994100000007110902 100 $a20181017d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNew Trends in Model and Data Engineering $eMEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24?26, 2018, Proceedings /$fedited by El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (IX, 255 p. 90 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v929 311 $a3-030-02851-8 327 $aInternational 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. 330 $aThis 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. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v929 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer simulation 606 $aComputers 606 $aComputer organization 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 0$aComputers. 615 0$aComputer organization. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aSimulation and Modeling. 615 24$aTheory of Computation. 615 24$aComputer Systems Organization and Communication Networks. 676 $a005.74 676 $a005.74 702 $aAbdelwahed$b El Hassan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBellatreche$b Ladjel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBenslimane$b Djamal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGolfarelli$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJean$b Stéphane$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMery$b Dominique$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNakamatsu$b Kazumi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrdonez$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299312803321 996 $aNew Trends in Model and Data Engineering$92123473 997 $aUNINA