Author:
Liu Qianqian,Chen Xiaohong,Jin Zhi
Funder
Research and Development
National Natural Science Foundation of China
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-specific verification of system requirements consistency via time modeling;International Journal of Modeling, Simulation, and Scientific Computing;2024-01-19
2. Safety Property Attributes in Critical Systems for Requirement Specification: A Review;2023 IEEE 8th International Conference On Software Engineering and Computer Systems (ICSECS);2023-08-25
3. Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems;2023 9th International Symposium on System Security, Safety, and Reliability (ISSSR);2023-06