{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:43:31Z","timestamp":1725623011077},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100113","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T13:30:08Z","timestamp":1324042208000},"page":"516-519","source":"Crossref","is-referenced-by-count":3,"title":["Using model-based assurance to strengthen diagnostic procedures"],"prefix":"10.1109","author":[{"given":"Robyn","family":"Lutz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ann","family":"Patterson-Hine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2710"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070543"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526574"},{"key":"7","article-title":"A Review of Diagnostic Techniques for ISHM Applications","author":"patterson-hine","year":"0","journal-title":"Proc 1st Int'l Forum on Integrated System Health Engineering and Management (ISHEM) 2005"},{"journal-title":"NASA Habitat Demonstration Unit Project","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0039-4"},{"key":"4","article-title":"Model-Based Assurance of Diagnostic Procedures for Complex Systems","author":"kurtoglu","year":"0","journal-title":"Proc Annual Conf of Prognostics and Health Management Society (PHM) 2010"},{"key":"9","article-title":"Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences","author":"verma","year":"0","journal-title":"Proc 8th Int'l Symp on Artificial Intelligence Robotics and Automation in Space (I-SAIRAS) 2005"},{"journal-title":"Testability Engineering and Maintenance System (TEAMS) Tool","year":"0","key":"8"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100113.pdf?arnumber=6100113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:31:53Z","timestamp":1490085113000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100113\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100113","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}