most citedTowards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 1 cited

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems

Zhi Ma, Cheng Wen, Jie Su +4

IP-based software design is a crucial research field that aims to improve efficiency and reliability by reusing complex software components known as intellectual property (IP) comp…