DSTL PhD Studentship - Radu Calinescu

Research output

Research output per year 2014 2014 2014

• 1 Conference contribution

Research output per year

Research output per year

Search results

• 2014

  Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

  Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. ACM, p. 115-124 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution