{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T05:10:47Z","timestamp":1750137047417},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.5220\/0010847300003119","type":"proceedings-article","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T15:58:30Z","timestamp":1644854310000},"page":"252-263","source":"Crossref","is-referenced-by-count":3,"title":["Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases"],"prefix":"10.5220","author":[{"given":"Fang","family":"Yan","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---"}]},{"given":"Simon","family":"Foster","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---"}]},{"given":"Ibrahim","family":"Habli","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---"}]},{"given":"Ran","family":"Wei","sequence":"additional","affiliation":[{"name":"School of Artificial Intelligence, Dalian University of Technology, Dalian, China, --- Select a Country ---"}]}],"member":"3171","event":{"name":"10th International Conference on Model-Driven Engineering and Software Development","start":{"date-parts":[[2022,2,6]]},"location":"Online Streaming, --- Select a Country ---","end":{"date-parts":[[2022,2,8]]}},"container-title":["Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development"],"original-title":["Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases"],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T16:50:54Z","timestamp":1656694254000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0010847300003119"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0010847300003119","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}