Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Basin, David (1)
- Klaedtke, Felix (1)
- Marinovic, Srdjan (1)
- Zălinescu, Eugen (1)
Mot clé
- Aggregation operators (1)
- Monitoring (1)
- Runtime verification (1)
- System compliance (1)
- Temporal logic (1)