{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:01Z","timestamp":1725455341850},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/inss.2010.5573616","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:57:48Z","timestamp":1285185468000},"page":"41-44","source":"Crossref","is-referenced-by-count":2,"title":["Basic VHDL tests conforming to IEC 61508"],"prefix":"10.1109","author":[{"given":"Ali","family":"Hayek","sequence":"first","affiliation":[]},{"given":"Michael","family":"Schreiber","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Borcsok","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Radio Technical Commission for Aeronautics","article-title":"SoftwareConsiderations in Airborne Systems and Equipment Certification","year":"1992","key":"ref4"},{"journal-title":"identical to IEC 61508-7 2000","article-title":"Overview of techniques and measures","year":"2002","key":"ref3"},{"key":"ref10","article-title":"VHDL Tests Conforming to IEC 61508 Part 3","author":"schreiber","year":"0","journal-title":"Chair for Computer Architecture and System Programming University of Kassel Germany in co-operation with Technologies for Embedded Computing (TEC) Centre Cork Institute of Technology"},{"key":"ref6","article-title":"Comments on Modified Condition \/ Decision Coverage for Software Testing","author":"white","year":"2001","journal-title":"NASA Langley Research Center"},{"key":"ref5","article-title":"An Investigation of Three Forms of the Modified Condition Decision Coverage (MC\/DC) Criterion","author":"joseph chilenski","year":"2001","journal-title":"Report No D0T\/FAAIAR-01\/18 U S Department of Transportation Federal Aviation Administration Office of Aviation Research"},{"key":"ref8","article-title":"Timing Verification of Application-specific Integrated Circuits","author":"nekoogar","year":"1999","journal-title":"Prentice Hall PTR"},{"key":"ref7","article-title":"Reinforced Condition\/Decision Coverage (RC\/DC): A new Criterion for Software Testing","author":"vilkomir","year":"0","journal-title":"South Bank University Centre for Applied Formal methods School of Computing information Systems and Mathematics"},{"journal-title":"identical to IEC 615083 1998 including Corrigendum April 1999","article-title":"Software requirements","year":"2002","key":"ref2"},{"journal-title":"Status Entwurf (Draft) DIN Deutsches Institut fur Normung e V und VDE Verband der Elektrotechnik Elektronik Informationstechnik e V","article-title":"Requirements for electrical\/electronic\/programmable electronic safety-related systems","year":"2005","key":"ref1"},{"key":"ref9","article-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"gamma","year":"1995","journal-title":"Addison-Wesley Professional"}],"event":{"name":"2010 Seventh International Conference on Networked Sensing Systems (INSS)","start":{"date-parts":[[2010,6,15]]},"location":"Kassel, Germany","end":{"date-parts":[[2010,6,18]]}},"container-title":["2010 Seventh International Conference on Networked Sensing Systems (INSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5562239\/5572026\/05573616.pdf?arnumber=5573616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T03:13:04Z","timestamp":1489893184000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5573616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/inss.2010.5573616","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}