{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:25:15Z","timestamp":1730287515555,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T00:00:00Z","timestamp":1665532800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T00:00:00Z","timestamp":1665532800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,12]]},"DOI":"10.1109\/pais56586.2022.9946900","type":"proceedings-article","created":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T20:47:32Z","timestamp":1668631652000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Integrated Approach for Cyber Physical Systems"],"prefix":"10.1109","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1284-6543","authenticated-orcid":false,"given":"Ayoub","family":"Bouheroum","sequence":"first","affiliation":[{"name":"Khenchela University,ICOSI Laboratory,Khenchela,Algeria"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6682-2862","authenticated-orcid":false,"given":"Djamel","family":"Benmerzoug","sequence":"additional","affiliation":[{"name":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-9638-8390","authenticated-orcid":false,"given":"Sofiane Mounine","family":"Hemam","sequence":"additional","affiliation":[{"name":"Khenchela University,ICOSI Laboratory,Khenchela,Algeria"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-4563-4061","authenticated-orcid":false,"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[{"name":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Aya","family":"Lehamdi","sequence":"additional","affiliation":[{"name":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Radhia","family":"Aouissate","sequence":"additional","affiliation":[{"name":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2016.41"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2017.8000159"},{"journal-title":"Bonita community edition Bonitasoft","year":"2022","key":"ref12"},{"journal-title":"Verifying cloud systems using a bigraphical maude-based model checker","year":"2014","author":"benzadri","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4018\/IJOCI.2021040103"},{"journal-title":"Al salam bank algeria","year":"2022","key":"ref15"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1177\/1541931218621103","article-title":"Elab-orating the human aspect of the nist framework for cyber-physical systems","volume":"62","author":"burns","year":"2018","journal-title":"Proceedings of the Human Factors and Ergonomics Society Annual Meeting"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1146419"},{"key":"ref6","first-page":"7","article-title":"Vers une combinaison des bpmn et les bigraphes pour la modelisation des cps","author":"bouheroum","year":"2022","journal-title":"Conference francophone sur les Architectures Logi-cielles(CAL'22)"},{"key":"ref5","first-page":"149","article-title":"From ca-brs to bpmn: Formal approach for modeling adaptive security in cyber-physical systems","author":"bouheroum","year":"2021","journal-title":"TACC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4018\/ijaras.2014100101"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2018.1444806"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1287\/msom.2019.0796"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1063\/1.4825493"}],"event":{"name":"2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)","start":{"date-parts":[[2022,10,12]]},"location":"Oum El Bouaghi, Algeria","end":{"date-parts":[[2022,10,13]]}},"container-title":["2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9946838\/9946658\/09946900.pdf?arnumber=9946900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:09:14Z","timestamp":1671480554000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9946900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/pais56586.2022.9946900","relation":{},"subject":[],"published":{"date-parts":[[2022,10,12]]}}}