Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Salehi, Khayyam"'
The utilization of model checking has been suggested as a formal verification technique for analyzing critical systems. However, the primary challenge in applying to complex systems is state space explosion problem. To address this issue, bisimulatio
Externí odkaz:
http://arxiv.org/abs/2308.02519
Model checking has been proposed as a formal verification approach for analyzing computer-based and cyber-physical systems. The state space explosion problem is the main obstacle for applying this approach for sophisticated systems. Bisimulation mini
Externí odkaz:
http://arxiv.org/abs/2307.08614
Autor:
Mirzaei, Hamed1 (AUTHOR), Salehi, Khayyam2 (AUTHOR), Jafari, Ameneh3 (AUTHOR), Chaleshtori, Reza Sharafati1 (AUTHOR)
Publikováno v:
Journal of Food Processing & Preservation. 4/30/2024, Vol. 2024, p1-11. 11p.
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.
Publikováno v:
Mathematics Interdisciplinary Research; Jun2024, Vol. 9 Issue 2, p151-169, 19p
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.
Publikováno v:
Financial Cryptography & Data Security: FC 2015 International Workshops, BITCOIN, WAHC & Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers; 2015, p207-214, 8p