{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:56:03Z","timestamp":1725396963131},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.5220\/0007736801590168","type":"proceedings-article","created":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:17:31Z","timestamp":1558966651000},"page":"159-168","source":"Crossref","is-referenced-by-count":3,"title":["R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems"],"prefix":"10.5220","author":[{"given":"Mohamed","family":"Ramdani","sequence":"first","affiliation":[{"name":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laid","family":"Kahloul","sequence":"first","affiliation":[{"name":"LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"first","affiliation":[{"name":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University and China, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yousra","family":"Hafidi","sequence":"first","affiliation":[{"name":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"14th International Conference on Evaluation of Novel Approaches to Software Engineering","start":{"date-parts":[[2019,5,4]]},"location":"Heraklion, Crete, Greece","end":{"date-parts":[[2019,5,5]]}},"container-title":["Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering"],"original-title":["R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems"],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:17:35Z","timestamp":1558966655000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0007736801590168"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0007736801590168","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}