{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:46Z","timestamp":1725564466365},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/sisy.2013.6662548","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:58:50Z","timestamp":1385589530000},"page":"87-92","source":"Crossref","is-referenced-by-count":2,"title":["Metric proposal for system testing models verification for safety critical systems"],"prefix":"10.1109","author":[{"given":"Lukas","family":"Spendla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavol","family":"Tanuska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Smolarik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Software Testing Principles and Practice","year":"2006","author":"desikan","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/LISAT.2011.5784222"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2012.56"},{"journal-title":"A Software Metrics Based Approach to Enterprise Software Beta Testing Design","year":"2005","author":"buskey","key":"7"},{"journal-title":"\"Metrics in Informatics How to Objectively Determine the Benefits of an Information System \" \"Metriky v Informatice Jak Objektivne Zjistit Pr?i?nosy Informac?ni?ho Syste?mu \"","year":"2001","author":"ucen","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/URKE.2012.6319520"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DICTAP.2012.6215397"},{"key":"8","first-page":"128","author":"spendla","year":"2012","journal-title":"Proposal of Model for Testing Communication Subsystem of Safety Critical Control Systems"}],"event":{"name":"2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY 2013)","start":{"date-parts":[[2013,9,26]]},"location":"Subotica, Serbia","end":{"date-parts":[[2013,9,28]]}},"container-title":["2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6656129\/6662538\/06662548.pdf?arnumber=6662548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:36:15Z","timestamp":1490236575000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6662548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/sisy.2013.6662548","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}