Mendes Maia, Paulo Henrique
258  Ergebnisse:
Personensuche X
?
1

Lotus@Runtime: A Tool for Runtime Monitoring and Verificati..:

, In: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
 
?
3

Extraction of probabilistic behaviour models based on conte..:

, In: Proceedings of the 10th International Workshop on Modelling in Software Engineering,
 
?
4

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,
 
?
6

Lotus@Runtime: A Tool for Runtime Monitoring and Verificati..:

Monteiro Barbosa, Davi ; Gadelha de Moura Lima, Rómulo ; Maia, Paulo Henrique Mendes.
Is Part Of DARTS, Volume 3, Issue 1, Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017).  , 2017
 
?
 
?
 
1-15