TY  - RPRT
TI  - Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
AU  - Zhi Ma
AU  - Cheng Wen
AU  - Jie Su
AU  - Ming Zhao
AU  - Bin Yu
AU  - Xu Lu
AU  - Cong Tian
PY  - 2024
UR  - https://arxiv.org/abs/2404.00795
ID  - 2404.00795
ER  -