ISSRE 2015

The paper “Specifying and Verifying Real-Time Self-Adaptive Systems” has been accepted for┬ápresentation at┬áthe 26th IEEE International Symposium on Software Reliability Engineering (ISSRE).
http://issre.net/res_papers

Advertisements