User menu

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

Bibliographic reference Cailliau, Antoine ; van Lamsweerde, Axel. Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (Buenos Aires, Argentina, du 20/5/2017 au 28/5/2017). In: Proceeding SEAMS '17 Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017
Permanent URL http://hdl.handle.net/2078.1/187334