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
-
Follow
Following
Already have a WordPress.com account? Log in now.
Matteo Camilli 