Xiao Yang, Xiaohong Chen, Jiangtao Wang. A Model Checking Based Software Requirements Specification Approach for Embedded Systems. In Kurt Schneider, Fabiano Dalpiaz, Jennifer Horkoff, editors, 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023. pages 184-191, IEEE, 2023. [doi]
Abstract is missing.