Anirban Bhattacharyya
3 published titles
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems : a technical diary
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
On modelling and analysis of dynamic reconfiguration of dependable real-time systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
A comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
1 edition
- Newcastle University, Computing Science
- 2015
- Details
