A comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems /
Bhattacharyya, Anirban,author.
Mokhov, Andrey,author.
Pierce, Ken G.,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"April 2015."
Includes bibliographical references.
Computer systems.
Mathematical models.