{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:50:44Z","timestamp":1725385844150},"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\/0007736603940401","type":"proceedings-article","created":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:17:31Z","timestamp":1558981051000},"page":"394-401","source":"Crossref","is-referenced-by-count":2,"title":["On Improved Verification of Reconfigurable Real-Time Systems"],"prefix":"10.5220","author":[{"given":"Yousra","family":"Hafidi","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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, 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":"Mohamed","family":"Ramdani","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, China, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, 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":["On Improved Verification of Reconfigurable Real-Time Systems"],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:17:42Z","timestamp":1558981062000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0007736603940401"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0007736603940401","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}