返回

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Admin Arquisoft,19-3-20 下午5:28上传
平均 (0 票)
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. The paper was published in "Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, Proceedings WEA 2018. Part 1. Medellín, Colombia, October 17-19, 2018".
标签: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
12
评论

版本 1.4

由Admin Arquisoft最近更新
19-3-20 下午6:21
状态: 已批准
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. The paper was published in "Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, Proceedings WEA 2018. Part 1. Medellín, Colombia, October 17-19, 2018".
下载 (176k) 获取
版本历史
版本 日期 大小  
1.4 10 月之前 176k
1.3 10 月之前 1,008k
1.2 10 月之前 0k
1.1 10 月之前 0k
1.0 10 月之前 0k