LEADER 04162nam  22007815  450 
001 9910299312803321
005 20251029103355.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-0937 ;$v929
311 08$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-0937 ;$v929
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer simulation
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aComputer Modelling
606   $aTheory of Computation
606   $aComputer Engineering and Networks
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer simulation.
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aComputer Modelling.
615 24$aTheory of Computation.
615 24$aComputer Engineering and 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