Model checking intelligent avionics systems for test cases generation using multi-agent systems
| Autor: | Elkholy, Warda, El-Menshawy, Mohamed, Bentahar, Jamal, Elqortobi, Mounia, Laarej, Amine, Dssouli, Rachida |
|---|---|
| Zdroj: | In Expert Systems With Applications 15 October 2020 156 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect