ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.

Maxime Buyse, Rmi Delmas, Youssef Hamadi

Browse the full ECOOP paper archive.