{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:26:20Z","timestamp":1725672380124},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/afrcon.2013.6757720","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:15:04Z","timestamp":1394230504000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Formal verification and validation of DEVS simulation models"],"prefix":"10.1109","author":[{"given":"Soremekun Ezekiel","family":"Olamide","sequence":"first","affiliation":[]},{"given":"Traore Mamadou","family":"Kaba","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"2","first-page":"266","article-title":"JTORX: A tool for online model driven test derivation and execution","author":"belinfante","year":"2010","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference TACAS '10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"journal-title":"Theory of Modeling and Simulation","year":"2000","author":"zeigler","key":"10"},{"journal-title":"Concurrency State Models and Java Programs","year":"2006","author":"magee","key":"7"},{"key":"6","first-page":"669","article-title":"Formal framework for the DEVS-driven modeling language","author":"ighoroje","year":"2011","journal-title":"Proceedings of the 20th European Modeling and Simulation Symposium"},{"key":"5","article-title":"Verification technology potential with different modeling and simulation development and implementation paradigms","author":"mackenzie","year":"2002","journal-title":"Foundations for V&V in the 21st Century Workshop (Foundations '02)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1201\/9781420053371"},{"journal-title":"Process Analysis Toolkit (PAT) 3 4 User Manual","year":"2007","author":"yan","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899891"}],"event":{"name":"AFRICON 2013","start":{"date-parts":[[2013,9,9]]},"location":"Pointe-Aux-Piments, Mauritius","end":{"date-parts":[[2013,9,12]]}},"container-title":["2013 Africon"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746871\/6757586\/06757720.pdf?arnumber=6757720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:42:08Z","timestamp":1490305328000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6757720\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2013.6757720","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}