{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:41:18Z","timestamp":1773326478756,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416791","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:59:03Z","timestamp":1199480343000},"page":"368-375","source":"Crossref","is-referenced-by-count":7,"title":["Software quality measures to determine the diagnosability of PLC applications"],"prefix":"10.1109","author":[{"given":"Mohammed Bani","family":"Younis","sequence":"first","affiliation":[]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"279","article-title":"Complexity of Logic Controllers","author":"dandachi","year":"2007","journal-title":"Preprints of 1st IFAC Workshop on Dependable Control of Discrete Systems"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"4165","DOI":"10.1109\/ACC.2002.1024583","article-title":"Quantitative and qualitative comparisons of plc programs for a small testbed","author":"lucas","year":"2002","journal-title":"Proc of the American Control Conference (ACC 2002)"},{"key":"ref12","year":"1994"},{"key":"ref13","year":"1991","journal-title":"IEEE Glossary of Software Engineering Terminology"},{"key":"ref14","year":"1991","journal-title":"Quality Characteristics and Guidelines for Their Use"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1049\/sej.1988.0006","article-title":"an approach to automated software design based on product metrics","volume":"3","author":"ince","year":"1988","journal-title":"Software Engineering Journal"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"3082","DOI":"10.23919\/ACC.2004.1384382","article-title":"Visualization of PLC Programs Using XML","author":"bani younis","year":"2004","journal-title":"Proc of the American Control Conference (ACC2004)"},{"key":"ref17","year":"0","journal-title":"PLC open TC6 XML homepage"},{"key":"ref4","author":"bani younis","year":"2006","journal-title":"Re-Engineering Approach for PLC Programs based on Formal Methods"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref6","author":"kann","year":"2003","journal-title":"Metrics and Models in Software Quality Engineering"},{"key":"ref5","article-title":"Comparative Descriptions of Software Quality Metrics","author":"h\u00f6cker","year":"1994","journal-title":"GMD-Studien Nr 81 GMD Bonn"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref7","author":"halstead","year":"1977","journal-title":"Elements of Software Science"},{"key":"ref2","first-page":"14","article-title":"Automated Sefety Monitoring: A Review and classification of methods","volume":"a","author":"papadopoulus","year":"2001","journal-title":"Condition Monitoring and Diagnostic Engineering Management"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011273108731"},{"key":"ref9","first-page":"515","article-title":"Software quality in logic controller design","author":"frey","year":"2002","journal-title":"Proc of IEEE SMC 2002"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","location":"Patras, Greece","start":{"date-parts":[[2007,9,25]]},"end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416791.pdf?arnumber=4416791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T15:00:10Z","timestamp":1557154810000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416791\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416791","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}