Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Research outputs

Formal model validation through acceptance tests
2019
DOI: 10.1007/978-3-030-18744-6_10
Type: conference
Investigating Factors in information assurance implementation
Rio Guntur Utomo, Gary B. Wills & Robert J. Walters, 2019
DOI: 10.1109/ICITSI.2018.8695932
Type: conference
A conceptual framework for gamified e-learning systems acceptance by students in Saudi Arabian universities
2019
Type: thesis
Open specification for synchronisation of electronic healthcare records used by P&O services in lower- and middle income countries
Stefanie Wiegand, Alexander Dickinson & Gary Wills, 2019
Type: conference
Synchronising medical data in lower- and middle income countries
Stefanie Wiegand, Alexander Dickinson & Gary Wills, 2019
Type: conference
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
Giles Howard, Michael Butler, John Colley & Vladimiro Sassone, 2019, International Journal of Critical Computer-Based Systems, 56-75
DOI: 10.1504/IJCCBS.2019.10020048
Type: journalSpecialIssue
Analysis of threats on a VoIP based PBX honeypot
Nathaniel McInnes, Gary Wills & Edward Zaluska, 2019
DOI: 10.2053/ICITST.WorldCIS.WCST.WCICSS.2018.0015
Type: conference