%0 Conference Paper %1 conf/wsse/YeZW20 %A Ye, Nan %A Zhang, Jianguo %A Wu, Jie %B WSSE %D 2020 %I ACM %K dblp %P 46-50 %T Components Interaction Safety Analysis Method Based on STAMP and Formal Verification. %U http://dblp.uni-trier.de/db/conf/wsse/wsse2020.html#YeZW20 %@ 978-1-4503-8787-3

@inproceedings{conf/wsse/YeZW20, added-at = {2022-03-31T00:00:00.000+0200}, author = {Ye, Nan and Zhang, Jianguo and Wu, Jie}, biburl = {https://www.bibsonomy.org/bibtex/2db19e9d94a0b5a61d05dc3abe9842550/dblp}, booktitle = {WSSE}, crossref = {conf/wsse/2020}, ee = {https://doi.org/10.1145/3425329.3425390}, interhash = {b8dacfd4e31635b4d05f7a000c62f225}, intrahash = {db19e9d94a0b5a61d05dc3abe9842550}, isbn = {978-1-4503-8787-3}, keywords = {dblp}, pages = {46-50}, publisher = {ACM}, timestamp = {2024-04-10T00:38:54.000+0200}, title = {Components Interaction Safety Analysis Method Based on STAMP and Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/wsse/wsse2020.html#YeZW20}, year = 2020 }