{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:53:39Z","timestamp":1729634019304,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/icci-cc.2014.6921483","type":"proceedings-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T20:14:51Z","timestamp":1414008891000},"page":"355-360","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification for embedded software with cognitive environment modelling"],"prefix":"10.1109","author":[{"given":"Qingdi","family":"Meng","sequence":"first","affiliation":[]},{"given":"Lianyi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Guiming","family":"Luo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"3","DOI":"10.1049\/iet-sen:20070009"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/0304-3975(94)90010-8"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","article-title":"Kronos: A verification tool for real-time systems","volume":"1","author":"yovine","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"year":"1996","author":"bengtsson","journal-title":"UPPAALa Tool Suite for Automatic Verification of Real-time Systems Springer","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-time Systems Springer"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-3-642-59615-5_13"},{"year":"2011","author":"lee","journal-title":"Introduction to Embedded Systems A Cyberphysical Systems Approach","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","article-title":"Times: A tool for schedulability analysis and code generation of real-time systems","author":"amnell","year":"2004","journal-title":"Formal Modeling and Analysis of Timed Systems Springer"}],"event":{"name":"2014 IEEE 13th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2014,8,18]]},"location":"London, UK","end":{"date-parts":[[2014,8,20]]}},"container-title":["2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6911098\/6921429\/06921483.pdf?arnumber=6921483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:52:20Z","timestamp":1498171940000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6921483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2014.6921483","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}