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