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: |
|
Full Text from ScienceDirect