Login / Signup

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.

Anirban BhattacharyyaAndrey MokhovKen Pierce
Published in: Formal Aspects Comput. (2017)
Keyphrases