70836163

a

70836163 Boudali, Hichem Crouzen, Pepijn Haverkort, Boudewijn R. Kuntz, Matthias Stoelinga, Mari\"elle Arcade - A formal, extensible, model-based dependability evaluation framework ICECCS, 243-248 (2008). 2008 EN

doi:10.1109/ICECCS.2008.11