%0 Conference Paper %1 conf/dsa/WangLHSZW20 %A Wang, Shuanqi %A Li, Zhibo %A He, Xin %A Sheng, Ke %A Zhou, Jingxuan %A Wu, Wei %B DSA %D 2020 %I IEEE %K dblp %P 459-467 %T Safety Argument Pattern Language of Safety-Critical Software. %U http://dblp.uni-trier.de/db/conf/dsa/dsa2020.html#WangLHSZW20 %@ 978-0-7381-2422-3

@inproceedings{conf/dsa/WangLHSZW20, added-at = {2021-02-02T00:00:00.000+0100}, author = {Wang, Shuanqi and Li, Zhibo and He, Xin and Sheng, Ke and Zhou, Jingxuan and Wu, Wei}, biburl = {https://www.bibsonomy.org/bibtex/253362d2b935d002a8ea02a96466cd2ad/dblp}, booktitle = {DSA}, crossref = {conf/dsa/2020}, ee = {https://doi.org/10.1109/DSA51864.2020.00078}, interhash = {a26c1471e812453fd8faf4369b5c4e15}, intrahash = {53362d2b935d002a8ea02a96466cd2ad}, isbn = {978-0-7381-2422-3}, keywords = {dblp}, pages = {459-467}, publisher = {IEEE}, timestamp = {2024-04-10T01:52:39.000+0200}, title = {Safety Argument Pattern Language of Safety-Critical Software.}, url = {http://dblp.uni-trier.de/db/conf/dsa/dsa2020.html#WangLHSZW20}, year = 2020 }