%0 Journal Article %1 journals/eswa/ElkholyEBELD20 %A Kholy, Warda El %A El-Menshawy, Mohamed %A Bentahar, Jamal %A Elqortobi, Mounia %A Laarej, Amine %A Dssouli, Rachida %D 2020 %J Expert Syst. Appl. %K dblp %P 113458 %T Model checking intelligent avionics systems for test cases generation using multi-agent systems. %U http://dblp.uni-trier.de/db/journals/eswa/eswa156.html#ElkholyEBELD20 %V 156

@article{journals/eswa/ElkholyEBELD20, added-at = {2020-07-21T00:00:00.000+0200}, author = {Kholy, Warda El and El-Menshawy, Mohamed and Bentahar, Jamal and Elqortobi, Mounia and Laarej, Amine and Dssouli, Rachida}, biburl = {https://www.bibsonomy.org/bibtex/23591b09c904f67cab752d4098cb0e483/dblp}, ee = {https://doi.org/10.1016/j.eswa.2020.113458}, interhash = {fe13493d3da89cfdc3ef281141f9e1cc}, intrahash = {3591b09c904f67cab752d4098cb0e483}, journal = {Expert Syst. Appl.}, keywords = {dblp}, pages = 113458, timestamp = {2020-07-24T00:03:21.000+0200}, title = {Model checking intelligent avionics systems for test cases generation using multi-agent systems.}, url = {http://dblp.uni-trier.de/db/journals/eswa/eswa156.html#ElkholyEBELD20}, volume = 156, year = 2020 }