{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:47:32Z","timestamp":1766159252370,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T00:00:00Z","timestamp":1695340800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T00:00:00Z","timestamp":1695340800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,22]]},"DOI":"10.1109\/safeprocess58597.2023.10295700","type":"proceedings-article","created":{"date-parts":[[2023,11,3]],"date-time":"2023-11-03T17:47:19Z","timestamp":1699033639000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software"],"prefix":"10.1109","author":[{"given":"Jiankun","family":"Xu","sequence":"first","affiliation":[{"name":"Electronics Technology Corporation,The 29th Research Institute of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingling","family":"Zheng","sequence":"additional","affiliation":[{"name":"Electronics Technology Corporation,The 29th Research Institute of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junhu","family":"Li","sequence":"additional","affiliation":[{"name":"Electronics Technology Corporation,The 29th Research Institute of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wentao","family":"Wang","sequence":"additional","affiliation":[{"name":"Electronics Technology Corporation,The 29th Research Institute of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Accident prediction of interlocking system based on stochastic hybrid automata","year":"2018","author":"wang","key":"ref4"},{"key":"ref3","first-page":"106","article-title":"formalspec semiautomatic formalization of system requirements for formal verification[C]","volume":"43","author":"busboom","year":"2016","journal-title":"ARCH CPSWeek 2016 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref5","first-page":"114","article-title":"Modeling and verification method of ZC subsystem in urban rail transit based on hybrid automata","volume":"37","author":"huang","year":"2016","journal-title":"China Railway Science"},{"key":"ref2","first-page":"16","article-title":"Formalization of domain specific Language for Rail Transit Interlocking [J]","volume":"31","author":"mengyao","year":"2020","journal-title":"Journal of Software"},{"key":"ref1","first-page":"6","article-title":"Research on Analysis and Verification Requirements of Software Safety Design [J]","author":"xuefei","year":"2017","journal-title":"Aeronautic Standardization & Quality"}],"event":{"name":"2023 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS)","start":{"date-parts":[[2023,9,22]]},"location":"Yibin, China","end":{"date-parts":[[2023,9,24]]}},"container-title":["2023 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10295546\/10295577\/10295700.pdf?arnumber=10295700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T19:28:01Z","timestamp":1701113281000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10295700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,22]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/safeprocess58597.2023.10295700","relation":{},"subject":[],"published":{"date-parts":[[2023,9,22]]}}}