Browsing by Author Hierons, R
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
---|---|---|
2016 | Decidability and complexity for quiescent consistency | Dongol, B; Hierons, R |
2016 | Editorial | Hierons, R |
2012 | Software engineering: Testing real-time embedded systems using timed automata based approaches | Abou Trab, Mohammad |
2013 | Towards estimating computer users' mood from interaction behaviour with keyboard and mouse | Khan, IA; Brinkman, W-P; Hierons, R |
2014 | Towards more effective testing of communications-critical large scale systems | Nabulsi, Mohammad |