戻る

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/03/20 17: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
1 / 2
コメント

バージョン 1.4

最終更新者 Admin Arquisoft
19/03/20 18: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) URLWebDAV URLを取得する
バージョン履歴
バージョン 日時 サイズ  
1.4 10 ヶ月 前 176k
1.3 10 ヶ月 前 1,008k
1.2 10 ヶ月 前 0k
1.1 10 ヶ月 前 0k
1.0 10 ヶ月 前 0k