{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T08:21:19Z","timestamp":1768897279812,"version":"3.49.0"},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.5220\/0009594305950602","type":"proceedings-article","created":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T18:14:02Z","timestamp":1589825642000},"page":"595-602","source":"Crossref","is-referenced-by-count":11,"title":["A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication"],"prefix":"10.5220","author":[{"given":"Rateb","family":"Jabbar","sequence":"first","affiliation":[{"name":"KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moez","family":"Krichen","sequence":"first","affiliation":[{"name":"ReDCAD Laboratory, University of Sfax, Tunisia, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Kharbeche","sequence":"first","affiliation":[{"name":"Qatar Transportation and Traffic Safety Center, Qatar University, Qatar, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noora","family":"Fetais","sequence":"first","affiliation":[{"name":"KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamel","family":"Barkaoui","sequence":"first","affiliation":[{"name":"Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"15th International Conference on Evaluation of Novel Approaches to Software Engineering","location":"Prague, Czech Republic","start":{"date-parts":[[2020,5,5]]},"end":{"date-parts":[[2020,5,6]]}},"container-title":["Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering"],"original-title":["A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication"],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T06:32:50Z","timestamp":1589869970000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0009594305950602"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0009594305950602","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}