Skip to main content
zenodoopen

Modeling Compliance Specifications in Linear Temporal Logic, Event Processing Language and Property Specification Patterns

<p>Experimental material &amp; data</p>

ShareScore

32/100

Overall dataset sharing score

Score breakdown

These five areas show where the dataset supports — or may limit — practical reuse.

Stewardship
4
Harmonization
0
Access
20
Reuse readiness
8
Engagement
0