Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Norouzi, Monire"'
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:
Norouzi, Monire1,2 (AUTHOR) m.norouzisoufiani@ogr.iuc.edu.tr, Gürkaş-Aydın, Zeynep1 (AUTHOR) zeynepg@iuc.edu.tr, Ergen, Sefer3 (AUTHOR) seferergen@gmail.com, Şerif Bakır, Mehmet4 (AUTHOR) serifbakir@hotmail.com
Publikováno v:
Journal of High Speed Networks. 2023, Vol. 29 Issue 3, p169-181. 13p.
Publikováno v:
In Computer Communications 1 February 2021 167:63-74
Publikováno v:
Kybernetes, 2020, Vol. 49, Issue 12, pp. 2993-3018.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/K-07-2019-0520
Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness and improve performance of software systems in various levels of desi
Externí odkaz:
http://arxiv.org/abs/1406.2791
Publikováno v:
Cluster Computing; Jun2024, Vol. 27 Issue 3, p3639-3655, 17p
Publikováno v:
Network Modeling & Analysis in Health Informatics & Bioinformatics; 4/25/2024, Vol. 13, p1-9, 9p
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.
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.