Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
A method of refinement in UML-B
Mar Yah Said, Michael Butler & Colin Snook, 2015, Software and Systems Modeling, 14(4), 1557–1580
DOI: 10.1007/s10270-013-0391-z
Type: article
The Dreams Plan: a blupoint strategy for e-education provision in South Africa
Eamonn Walls, Mike Santer, Gary Wills & Jeff Vass, 2015, The Electronic Journal of Information Systems in Developing Countries, 70(7), 1-24
DOI: 10.1002/j.1681-4835.2015.tb00507.x
Type: article
An anti-windup scheme for an adaptive hamilt∞ vibration controller
Matthew C. Turner & Richard T. O'Brien, 2015
DOI: 10.1109/ACC.2015.7172168
Type: conference
A traffic-aware street lighting scheme for smart cities using autonomous networked sensors
Sei Ping Lau, Geoff V. Merrett, Alex S. Weddell & Neil M. White, 2015, Computers & Electrical Engineering, 45, 192-207
DOI: 10.1016/j.compeleceng.2015.06.011
Type: article
Language and tool support for event refinement structures in Event-B
Asieh Salehi Fathabadi, Michael Butler & Abdolbaghi Rezazadeh, 2015, Formal Aspects of Computing, 27(3), 499-523
DOI: 10.1007/s00165-014-0311-1
Type: article
Channel-by-channel anti-windup design for a class of multivariable systems
Nkemdilim A. Ofodile, Matthew C. Turner & Osichinaka C. Ubadike, 2015
DOI: 10.1109/ACC.2015.7171034
Type: conference
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
2015
DOI: 10.1007/978-3-319-19249-9_32
Type: conference