The Open UniversitySkip to content
 

Open Research Online
Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | No Grouping
Jump to: 2017 | 2006
Number of items: 2.

2017

Pasquale, Liliana; Ghezzi, Carlo; Pasi, Edoardo; Tsigkanos, Christos; Boubekeur, Menouer; Florentino-Liano, Blanca; Hadzic, Tarik and Nuseibeh, Bashar (2017). Topology-Aware Access Control of Smart Spaces. IEEE Computer, 50(7) pp. 54–63. file

2006

Jackson, Michael (2006). What can we expect from program verification? IEEE Computer, 39(10) pp. 65–71. file

This list was generated on Sat Oct 21 22:19:49 2017 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk