Zobrazeno 1 - 10
of 113
pro vyhledávání: '"Kargahi, Mehdi"'
The autonomous systems need to decide how to react to the changes at runtime efficiently. The ability to rigorously analyze the environment and the system together is theoretically possible by the model-driven approaches; however, the model size and
Externí odkaz:
http://arxiv.org/abs/2110.14040
Autor:
Behnoudfar, Ali, Zahani, Seyyed Hossein Hosseini, Hatami, Mojtaba, Naghibzadeh, Mahmoud, Taheri, Boshra, Faghih, Fathieh, Kargahi, Mehdi
The present volume contains the proceedings of RTEST WiP 2018, chaired by Marco Caccamo, University of Illinois at Urbana-Champaign. This event has been organized by the School of Electrical and Computer Engineering at the University of Tehran, in co
Externí odkaz:
http://arxiv.org/abs/1904.06995
Autor:
Yoosefi, Amin, Kargahi, Mehdi
Publikováno v:
In Microprocessors and Microsystems April 2023 98
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kargahi, Mehdi, Trivedi, Ashutosh
Publikováno v:
EPTCS 232, 2016
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The purpose of V2CP
Externí odkaz:
http://arxiv.org/abs/1612.04023
Publikováno v:
In Journal of Systems Architecture September 2021 118
Publikováno v:
In Microprocessors and Microsystems February 2020 72
Publikováno v:
In Microprocessors and Microsystems October 2019 70:1-14
Autor:
Dehnavi, Saeid, Sedaghatbaf, Ali, Salmani, Bahar, Sirjani, Marjan, Kargahi, Mehdi, Khamespanah, Ehsan
Publikováno v:
In Procedia Computer Science 2019 155:59-68