TY  - RPRT
ID  - deploy155
UR  - http://deploy-eprints.ecs.soton.ac.uk/155/
A1  - Mazzara, Manuel
A1  - Bhattacharyya, Anirban
N2  - This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that
the formalism must meet, and use these to evaluate well-established formalisms and two process algebras that we have
been developing.
PB  - Newcastle University
M1  - technical_report
TI  - On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
EP  - 8
AV  - public
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>