Browse by Authors and EditorsNumber of items: 1. Thesis (University of Nottingham only)Ul-Haque, Hafiz Mahfooz (2017) A formal approach to modelling and verification of context-aware systems. PhD thesis, University of Nottingham. |
Browse by Authors and EditorsNumber of items: 1. Thesis (University of Nottingham only)Ul-Haque, Hafiz Mahfooz (2017) A formal approach to modelling and verification of context-aware systems. PhD thesis, University of Nottingham. |