{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:17:40Z","timestamp":1730279860918,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/iwcmc.2019.8766783","type":"proceedings-article","created":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T23:48:28Z","timestamp":1563839308000},"page":"1209-1214","source":"Crossref","is-referenced-by-count":7,"title":["An Evaluative Review of the Formal Verification for VANET Protocols"],"prefix":"10.1109","author":[{"given":"Faten","family":"Fakhfakh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Tounsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74173-2_6"},{"key":"ref33","article-title":"Intelligent transportation systems","author":"weiland","year":"2000","journal-title":"Transportation in the New Millennium"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-017-2145-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92970-5_14"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.01.015"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2008.278"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747920"},{"key":"ref35","first-page":"513","article-title":"Design and formal verification of a vanet lightweight authentication protocol","author":"zhao","year":"2018","journal-title":"18th IEEE Conference on Communication Technology (ICCT)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1089551.1089685"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0318-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2016.7515892"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2001.917452"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JCN.2014.000068"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-016-3884-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0183-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-018-2270-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-018-2283-z"},{"key":"ref27","article-title":"Effect of parameters tuned by a taguchi design l_9 3ˆ4 in the GRASP algorithm to solve the vehicle routing problem with time windows","volume":"22","author":"oca\u00f1o","year":"2018","journal-title":"Computaci&#x00F3 n y Sistemas"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804655"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITST.2009.5399299"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/142137.142153"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2013.1069.1078"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1504\/IJITCC.2012.048481"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2009.5355033"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2069000.2069018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.04.049"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-016-2622-z"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.05.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICASE.2017.8374284"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/VETECS.2011.5956327"},{"key":"ref23","article-title":"Guidelines for performing systematic literature reviews in software engineering","author":"kitchenham","year":"2007","journal-title":"Keele University and Durham University Joint Report Tech Rep"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-016-1773-0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.39"}],"event":{"name":"2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC)","start":{"date-parts":[[2019,6,24]]},"location":"Tangier, Morocco","end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8761262\/8766347\/08766783.pdf?arnumber=8766783","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:08:22Z","timestamp":1657854502000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8766783\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iwcmc.2019.8766783","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}