Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dataset
|
![]() |
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)Monteiro Barbosa, Davi ; Gadelha de Moura Lima, Rómulo ; Maia, Paulo Henrique Mendes ; Junior, Evilásio Costa Garlan, David ; Cámara, Javier ; Nuseibeh, BasharSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2017Texto completo disponível |