Fingerprint
Dive into the research topics of 'A model-driven approach to trace checking of temporal properties with aggregations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A model-driven approach to trace checking of temporal properties with aggregations
Chaima Boufaied, Domenico Bianculli, Lionel Briand
Research output: Contribution to journal › Article › peer-review