%0 Conference Paper %1 conf/csdm/GuoLWLH21 %A Guo, Peng %A Liu, Feiyang %A Wu, Na %A Li, Yahui %A Hu, Ning %B CSDM Asia / CSDM %D 2021 %E Krob, Daniel %E Li, Lefei %E Yao, Junchen %E Zhang, Hongjun %E Zhang, Xinguo %I Springer %K dblp %P 325-341 %T Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2021.html#GuoLWLH21 %@ 978-3-030-73539-5

@inproceedings{conf/csdm/GuoLWLH21, added-at = {2021-04-19T00:00:00.000+0200}, author = {Guo, Peng and Liu, Feiyang and Wu, Na and Li, Yahui and Hu, Ning}, biburl = {https://www.bibsonomy.org/bibtex/2d655674c49081f74ee49147181f220e6/dblp}, booktitle = {CSDM Asia / CSDM}, crossref = {conf/csdm/2021}, editor = {Krob, Daniel and Li, Lefei and Yao, Junchen and Zhang, Hongjun and Zhang, Xinguo}, ee = {https://doi.org/10.1007/978-3-030-73539-5_25}, interhash = {a8abb0385cea06a30e90988eec3c3b93}, intrahash = {d655674c49081f74ee49147181f220e6}, isbn = {978-3-030-73539-5}, keywords = {dblp}, pages = {325-341}, publisher = {Springer}, timestamp = {2024-04-09T09:59:45.000+0200}, title = {Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2021.html#GuoLWLH21}, year = 2021 }