ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)

Maxime Buyse, Rémi Delmas, Youssef Hamadi. ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). DARTS, 7(2), 2021. [doi]

Authors

Maxime Buyse

This author has not been identified. Look up 'Maxime Buyse' in Google

Rémi Delmas

This author has not been identified. Look up 'Rémi Delmas' in Google

Youssef Hamadi

This author has not been identified. Look up 'Youssef Hamadi' in Google