nach oben

Erschienen in:

Open Access 20.01.2017 | Original Article

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

verfasst von: Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Titel: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
verfasst von: Anirban Bhattacharyya
Andrey Mokhov
Ken Pierce
Publikationsdatum: 20.01.2017
Verlag: Springer London
Erschienen in: Formal Aspects of Computing / Ausgabe 2/2017
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-016-0405-z