Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/12/06 → 28/02/11 |
Funding
- EPSRC: £23,846.00
- EPSRC: £18,062.00
- EPSRC: £449,327.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Modelling temporal behaviour in complex systems with Timebands
Wei, K., Woodcock, J. & Burns, A., 2013, In: Formal Methods in System Design. 43, 3, p. 520-551 32 p.Research output: Contribution to journal › Article › peer-review
-
How to Trust: A Model for Trust Decision Making
Felici, M., 1 Jul 2012, In: International Journal of Adaptive, Resilient and Autonomic Systems. 3, 3, p. 20-34 15 p.Research output: Contribution to journal › Article › peer-review
-
Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings
Sujan, M-A. & Felici, M., 2012, Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Berlin, Heidelberg: Springer, p. 364-375 12 p. (Lecture Notes in Computer Science; vol. 7612).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution