Model checking intelligent avionics systems for test cases generation using multi-agent systems-Reference-Cited by-同舟云学术

Model checking intelligent avionics systems for test cases generation using multi-agent systems

Author:

Elkholy Warda,El-Menshawy Mohamed,Bentahar Jamal^ORCID,Elqortobi Mounia,Laarej Amine,Dssouli Rachida

Funder

Natural Sciences and Engineering Research Council of Canada

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Science Applications,General Engineering

Reference56 articles.

2. AsmetaSMV: A way to link high-level ASM models to low-level nusmv specifications;Arcaini,2010

3. Modeling and analyzing using ASMs: The landing gear system case study;Arcaini,2014

4. Offline model-based testing and runtime monitoring of the sensor voting module;Arcaini,2014

5. Closing the gap between the specification and the implementation: the ASMETA way;Arcaini,2018

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Methodology for ensuring the functional stability of aircraft integrated modular avionics complex;Наука і техніка Повітряних Сил Збройних Сил України;2024-02-28

4. State Modeling and Verification of Solar Energy Harvesting System for IoT Applications;2023 9th International Conference on Signal Processing and Communication (ICSC);2023-12-21