%0 Conference Paper %1 conf/iceccs/BoudaliCHKS08 %A Boudali, Hichem %A Crouzen, Pepijn %A Haverkort, Boudewijn R. %A Kuntz, Matthias %A Stoelinga, Mariëlle %B ICECCS %D 2008 %I IEEE Computer Society %K %P 243-248 %T Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2008.html#BoudaliCHKS08 %@ 0-7695-3139-3

@inproceedings{conf/iceccs/BoudaliCHKS08, added-at = {2023-12-12T21:03:36.000+0100}, author = {Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/255834d41b96a391f70ee4b252957a793/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2008.11}, interhash = {387c3e5c2877d1bd1f816ae299eacf8a}, intrahash = {55834d41b96a391f70ee4b252957a793}, isbn = {0-7695-3139-3}, keywords = {}, pages = {243-248}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:03:36.000+0100}, title = {Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2008.html#BoudaliCHKS08}, year = 2008 }