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

Name: Modeling Compliance Specifications in Linear Temporal Logic, Event Processing Language and Property Specification Patterns
Published: 2024-08-02T00:00:00+08:00