Login / Signup

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

Hichem BoudaliPepijn CrouzenBoudewijn R. HaverkortMatthias KuntzMariëlle Stoelinga
Published in: ICECCS (2008)
Keyphrases