{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:56:01Z","timestamp":1730224561166,"version":"3.28.0"},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281760","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"283-285","source":"Crossref","is-referenced-by-count":1,"title":["Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC)"],"prefix":"10.1109","author":[{"family":"Seo Ryong Koo","sequence":"first","affiliation":[]},{"family":"Poong Hyun Seong","sequence":"additional","affiliation":[]},{"family":"Sung Deok Cha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Engineering A Practitioner's Approach","year":"2001","author":"pressman","key":"3"},{"journal-title":"IEEE Standard for Software Verification and Validation","year":"1998","key":"2"},{"volume":"1","journal-title":"Handbook for Verification and Validation of Digital Systems Vol 1 Summary","year":"1994","key":"1"},{"journal-title":"IEC Standard 61131-3 Programmable controllers - Part 3","year":"1993","key":"4"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281760.pdf?arnumber=1281760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:49:52Z","timestamp":1489441792000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281760","relation":{},"subject":[]}}