A Monte Carlo study is used to compare the finite sample relative efficiency of a number of pure and pre-test estimators for an error component model with first-order ...
This technical report proposes a formal semantics for EMV2 and shows how to leverage this semantics to generate fault trees from an AADL model enriched with EMV2 information.