Research output per year
Research output per year
Search results
-
2008
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 -
2007
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