- Tytuł:
- Application of deductive reasoning to the verification of archimate behavioral elements
- Autorzy:
-
Radosław Klimek
Piotr Szwed
Stanisław Jędrusik - Tematy:
-
Deductive temporal reasoning
software verification
ArchiMate
semantics table¬aux method
Linear Temporal Logic - Pokaż więcej
- Dostawca treści:
- CEJSH