{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T18:44:31Z","timestamp":1725389071284},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.23919\/fruct.2017.8250167","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T00:02:08Z","timestamp":1515715328000},"page":"71-78","source":"Crossref","is-referenced-by-count":1,"title":["Conformance testing of the STP-ISS protocol implementation by means of temporal logic"],"prefix":"10.23919","author":[{"given":"Nadezhda","family":"Chumakova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Olenev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Lavrovskaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90098-9"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02737-6_32"},{"key":"ref13","article-title":"Specification and Verification using Temporal Logic","author":"demri","year":"2010","journal-title":"World Scientific Review"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SpaceWire.2014.6936226"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4018\/IJERTCS.2014100103"},{"year":"0","key":"ref3"},{"key":"ref6","first-page":"560","author":"karpov","year":"2016","journal-title":"MODEL CHECKING Verification of parallel and distributed software systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SpaceWire.2016.7771652"},{"journal-title":"Runtime Validation Using Interval Temporal Logic Computer Science Annual Workshop 2006","year":"2006","author":"d'emanuele","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/9781118604182"},{"key":"ref2","first-page":"5433","author":"holzmann","year":"1991","journal-title":"Design and Validation of Computer Protocols"},{"key":"ref1","first-page":"241","author":"marwedel","year":"2006","journal-title":"Embedded system design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/b117047"}],"event":{"name":"2017 21st Conference of Open Innovations Association (FRUCT)","start":{"date-parts":[[2017,11,6]]},"location":"Helsinki","end":{"date-parts":[[2017,11,10]]}},"container-title":["2017 21st Conference of Open Innovations Association (FRUCT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8241162\/8250155\/08250167.pdf?arnumber=8250167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T23:00:21Z","timestamp":1518476421000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8250167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/fruct.2017.8250167","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}