Login / Signup

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.

Antoine CailliauAxel van Lamsweerde
Published in: SEAMS@ICSE (2017)
Keyphrases