Published September 13, 2017
| Version v1
Dataset
Open
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
Description
Experimental material & data
Files
material.zip
Files
(6.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a62fa77f2c5cdc2fb83fbd3e41dd24a0
|
6.8 MB | Preview Download |