TY  - RPRT
TI  - An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
AU  - Anirban Bhattacharyya
AU  - Andrey Mokhov
AU  - Ken Pierce
PY  - 2016
UR  - https://arxiv.org/abs/1609.08531
ID  - 1609.08531
ER  -