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]
@inproceedings{YangCW23-2,
title = {A Model Checking Based Software Requirements Specification Approach for Embedded Systems},
author = {Xiao Yang and Xiaohong Chen and Jiangtao Wang},
year = {2023},
doi = {10.1109/REW57809.2023.00037},
url = {https://doi.org/10.1109/REW57809.2023.00037},
researchr = {https://researchr.org/publication/YangCW23-2},
cites = {0},
citedby = {0},
pages = {184-191},
booktitle = {31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023},
editor = {Kurt Schneider and Fabiano Dalpiaz and Jennifer Horkoff},
publisher = {IEEE},
isbn = {979-8-3503-2691-8},
}