Published in
Institute of Electrical and Electronics Engineers, IEEE Transactions on Intelligent Transportation Systems, 12(24), p. 15146-15157, 2023
DOI: 10.1109/tits.2023.3324022
Links
Tools
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
Journal article published in 2023 by
Xiaohong Chen 
,
Juan Zhang,
Zhi Jin ,
Min Zhang ,
Tong Li ,
Xiang Chen,
Tingliang Zhou
,
Juan Zhang,
Zhi Jin ,
Min Zhang ,
Tong Li ,
Xiang Chen,
Tingliang Zhou
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 