TY  - RPRT
TI  - Model-based analysis support for dependable complex systems in CHESS
AU  - Felicien Ihirwe
AU  - Silvia Mazzini
AU  - Pierluigi Pierini
AU  - Alberto Debiasi
AU  - Stefano Tonetta
PY  - 2020
UR  - https://arxiv.org/abs/2009.06089
ID  - 2009.06089
ER  -