Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Title | Author(s) |
|---|---|---|
| 17-Jun-2016 | Modelling Concurrent Systems with Interval Processes | Alqarni, Mohammad |
| 2016 | Verification and Implementation of Embedded Systems from High-Level Models | Nokovic, Bojan |
| Jun-2016 | An Integrated Approach to Improve Data Quality | Al-janabi, Samir |
| 2016 | Timed Fault Tolerant Supervisory Control | Alsuwaidan, Amal |
| 2016 | Gamification of Mobile Educational Software | Browne, Kevin |
| Apr-2012 | Identification and Documentation of Environmental Assumptions for the PACEMAKER System | WANG, Vivien You |
| Nov-2014 | Quantitative Assessment of Nonfunctional Requirements in Product Families | Fadul, Reham |
| Jun-2015 | On the Modelling, Analysis, and Mitigation of Distributed Covert Channels | Jaskolka, Jason |
| Jun-2015 | Secure and Trusted Verification | Cai, Yixian |
| Jun-2015 | Investigations into self motion thresholds using a Stewart platform | Akbari, Behzad |
Discover
Subject
Date issued
- 42 2020 - 2022
- 166 2010 - 2019
- 85 2003 - 2009
