%0 Conference Paper %1 conf/re/YangCW23 %A Yang, Xiao %A Chen, Xiaohong %A Wang, Jiangtao %B REW %D 2023 %E Schneider, Kurt %E Dalpiaz, Fabiano %E Horkoff, Jennifer %I IEEE %K dblp %P 184-191 %T A Model Checking Based Software Requirements Specification Approach for Embedded Systems. %U http://dblp.uni-trier.de/db/conf/re/re2023w.html#YangCW23 %@ 979-8-3503-2691-8

@inproceedings{conf/re/YangCW23, added-at = {2023-10-06T00:00:00.000+0200}, author = {Yang, Xiao and Chen, Xiaohong and Wang, Jiangtao}, biburl = {https://www.bibsonomy.org/bibtex/23347eb5a3b696fbaf549d78697d5db55/dblp}, booktitle = {REW}, crossref = {conf/re/2023w}, editor = {Schneider, Kurt and Dalpiaz, Fabiano and Horkoff, Jennifer}, ee = {https://doi.org/10.1109/REW57809.2023.00037}, interhash = {3980b8258bf54b023e8edd9298d1b262}, intrahash = {3347eb5a3b696fbaf549d78697d5db55}, isbn = {979-8-3503-2691-8}, keywords = {dblp}, pages = {184-191}, publisher = {IEEE}, timestamp = {2024-04-09T13:22:47.000+0200}, title = {A Model Checking Based Software Requirements Specification Approach for Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/re/re2023w.html#YangCW23}, year = 2023 }