×
2021
Model Checking for an HDLC IP Core Transparency Error in an Aerospace Industrial Context.
[DOI]
Shiyu Liu
,
Dongfang Li
,
Jixing Xue
,
Guang Yang
,
Wei Shen
,
Zhihao Wang
Proceedings of the CSSE 2021: 2021 4th International Conference on Computer Science and Software Engineering, Singapore, October 22, 2021