I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Lotus@Runtime : a tool for runtime monitoring and verifi..:

, In: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Barbosa, Davi Monteiro ; de Moura Lima, Rômulo Gadelha ; Maia, Paulo Henrique Mendes. - p. 24-30 , 2017
Link: https://dl.acm.org/doi/10.1109/SEAMS.2017.18