Corrigendum to “Transformation-based model checking temporal trust in multi-agent systems” [Journal of Systems and Software Volume 192, October 2022, 111383]
Autor: | Drawel, Nagat, Laarej, Amine, Bentahar, Jamal, Menshawy, Mohamed El |
---|---|
Zdroj: | In The Journal of Systems & Software July 2024 213 |
Databáze: | ScienceDirect |
Externí odkaz: |