%0 Conference Paper %1 conf/atc/LiZMX11 %A Li, Yue %A Zhu, Yian %A Ma, Chunyan %A Xu, Meng %B ATC %D 2011 %E Calero, José M. Alcaraz %E Yang, Laurence Tianruo %E Mármol, Félix Gómez %E García-Villalba, Luis Javier %E Li, Xiaolin Andy %E Wang, Yan %I Springer %K dblp %P 243-258 %T A Method for Constructing Fault Trees from AADL Models. %U http://dblp.uni-trier.de/db/conf/atc/atc2011.html#LiZMX11 %V 6906 %@ 978-3-642-23495-8

@inproceedings{conf/atc/LiZMX11, added-at = {2023-10-18T00:00:00.000+0200}, author = {Li, Yue and Zhu, Yian and Ma, Chunyan and Xu, Meng}, biburl = {https://www.bibsonomy.org/bibtex/2382e6efcf1e9eb6f64ad742744490623/dblp}, booktitle = {ATC}, crossref = {conf/atc/2011}, editor = {Calero, José M. Alcaraz and Yang, Laurence Tianruo and Mármol, Félix Gómez and García-Villalba, Luis Javier and Li, Xiaolin Andy and Wang, Yan}, ee = {https://doi.org/10.1007/978-3-642-23496-5_18}, interhash = {9b53eccdbb4e0d68eb0062d0641812cd}, intrahash = {382e6efcf1e9eb6f64ad742744490623}, isbn = {978-3-642-23495-8}, keywords = {dblp}, pages = {243-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-29T07:17:47.000+0200}, title = {A Method for Constructing Fault Trees from AADL Models.}, url = {http://dblp.uni-trier.de/db/conf/atc/atc2011.html#LiZMX11}, volume = 6906, year = 2011 }