{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:29:46Z","timestamp":1767184186390,"version":"build-2238731810"},"reference-count":0,"publisher":"Inderscience Publishers","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJCCBS"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1504\/ijccbs.2017.089976","type":"journal-article","created":{"date-parts":[[2018,2,27]],"date-time":"2018-02-27T07:30:26Z","timestamp":1519716626000},"page":"303","source":"Crossref","is-referenced-by-count":2,"title":["A formal verification of dynamic updating in a Java-based embedded system"],"prefix":"10.1504","volume":"7","author":[{"given":"Razika","family":"Lounas","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mezghiche","sequence":"additional","affiliation":[]},{"given":"Jean Louis","family":"Lanet","sequence":"additional","affiliation":[]}],"member":"378","container-title":["International Journal of Critical Computer-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.inderscienceonline.com\/doi\/full\/10.1504\/IJCCBS.2017.089976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,27]],"date-time":"2018-02-27T07:30:27Z","timestamp":1519716627000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=89976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"aliases":["10.1504\/ijccbs.2017.10011024"],"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1504\/ijccbs.2017.089976","relation":{},"ISSN":["1757-8779","1757-8787"],"issn-type":[{"value":"1757-8779","type":"print"},{"value":"1757-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"article-number":"89976"}}