![](/img/cover-not-exists.png)
[IEEE 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
Cailliau, Antoine, van Lamsweerde, AxelYear:
2017
Language:
english
DOI:
10.1109/seams.2017.5
File:
PDF, 722 KB
english, 2017