Research output per year
Research output per year
Project Details
| Acronym | RSE SCOT EXEC FELLOWSHIP |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/06 → 31/12/06 |
Funding
- The Royal Society of Edinburgh: £35,396.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.
-
Design, implementation and deployment of state machines using a generative approach
Kirby, G. N. C., Dearle, A. & Norcross, S. J., 2008, Architecting Dependable Systems V. de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H. & Vieira, M. (eds.). Springer, p. 175-198 (Lecture Notes in Computer Science; vol. 5135).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile -
Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture
Kirby, G., Dearle, A. & Norcross, S., 25 Jun 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems: DSN 2007. University of Edinburgh, p. 178-183Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File