Vissza

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

Uploaded by Admin Arquisoft, 2019.03.20. 17:28
Átlagos (0 Szavazatok)
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".
Címkék: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
1 a következőből: 2
Megjegyzések

Verzió 1.4

Utoljára Admin Arquisoft frissítette
2019.03.20. 18:21
Státusz: Jóváhagyva
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".
Letöltés (176k) Szerezz egy URL-t.vagy WebDAV URL-t.
Verzió-előzmények
Verzió Dátum Méret  
1.4 Ennyivel előtte: 10 Hónapok 176k
1.3 Ennyivel előtte: 10 Hónapok 1 008k
1.2 Ennyivel előtte: 10 Hónapok 0k
1.1 Ennyivel előtte: 10 Hónapok 0k
1.0 Ennyivel előtte: 10 Hónapok 0k