On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
2020 ◽
Vol 46
(1)
◽
pp. 100-112
◽
2019 ◽
Vol 18
(6)
◽
pp. 3331-3371
◽
2014 ◽
Vol 513-517
◽
pp. 927-930
2011 ◽
Vol 21
(12)
◽
pp. 1372-1395
◽
2002 ◽
Vol 12
(6)
◽
pp. 875-903
◽
Keyword(s):