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
Creator: University of Vienna
Published: 2018-05-14T00:00:00+08:00

Zenodo2018-05-14 更新2026-04-07 收录