- Tytuł:
- Application of deductive reasoning to the verification of archimate behavioral elements
- Autorzy:
-
Klimek, Radosław
Szwed, Piotr
Jędrusik, Stanisław - Data publikacji:
- 2013
- Wydawca:
- Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
- Tematy:
-
Deductive temporal reasoning
software verification
ArchiMate
semantics table¬aux method
Linear Temporal Logic - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki