Andrey Mokhov
2 published titles
An algorithm for direct construction of complete merged processes
(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
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2015
- Details