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 |