{"id":46565,"date":"2024-07-12T09:12:45","date_gmt":"2024-07-12T06:12:45","guid":{"rendered":"https:\/\/uomosul.edu.iq\/engineering\/?p=46565"},"modified":"2024-07-14T09:14:20","modified_gmt":"2024-07-14T06:14:20","slug":"46565-2","status":"publish","type":"post","link":"https:\/\/uomosul.edu.iq\/engineering\/46565-2\/","title":{"rendered":"\u0646\u0634\u0631 \u0628\u062d\u062b \u0639\u0644\u0645\u064a \u062c\u062f\u064a\u062f \u0644\u062a\u062f\u0631\u064a\u0633\u064a \u0645\u0646 \u0643\u0644\u064a\u0629 \u0627\u0644\u0647\u0646\u062f\u0633\u0629 \u0641\u064a \u062a\u062e\u0635\u0635 \u0645\u0639\u0645\u0627\u0631\u064a\u0629 \u0627\u0644\u062d\u0627\u0633\u0648\u0628 \u0648\u0627\u0644\u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0645\u0639\u062a\u0645\u062f\u0629"},"content":{"rendered":"<div dir=\"auto\"><\/div>\n<div dir=\"auto\">\u0636\u0645\u0646 \u0627\u0644\u0627\u0646\u0634\u0637\u0629 \u0627\u0644\u0639\u0644\u0645\u064a\u0629 \u0627\u0644\u0645\u0633\u062a\u0645\u0631\u0629 \u0644\u0623\u0639\u0636\u0627\u0621 \u0627\u0644\u0647\u064a\u0626\u0629 \u0627\u0644\u062a\u062f\u0631\u064a\u0633\u064a\u0629 \u0644\u0642\u0633\u0645 \u0647\u0646\u062f\u0633\u0629 \u0627\u0644\u062d\u0627\u0633\u0648\u0628 \u0641\u064a \u0643\u0644\u064a\u0629 \u0627\u0644\u0647\u0646\u062f\u0633\u0629 \u0628\u062c\u0627\u0645\u0639\u0629 \u0627\u0644\u0645\u0648\u0635\u0644\u060c \u0646\u0634\u0631 \u0627\u0644\u0627\u0633\u062a\u0627\u0630 \u0627\u0644\u0645\u0633\u0627\u0639\u062f \u0627\u0644\u062f\u0643\u062a\u0648\u0631 \u0634\u0648\u0643\u062a \u0635\u0628\u0627\u062d \u062e\u064a\u0631\u0627\u0644\u0644\u0647 \u0628\u062d\u062b \u0639\u0644\u0645\u064a \u0645\u0646\u0641\u0631\u062f \u0628\u0639\u0646\u0648\u0627\u0646 \u201cFormal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation\u201d \u0641\u064a \u0645\u062c\u0644\u0629 Journal of Electronic Testing: Theory and Applications (JETTA).<\/div>\n<div dir=\"auto\">\u0648\u0647\u064a \u0645\u0646 \u0627\u0644\u0645\u062c\u0644\u0627\u062a \u0627\u0644\u0639\u0644\u0645\u064a\u0629 \u0627\u0644\u0631\u0635\u064a\u0646\u0629 \u0627\u0644\u062a\u064a \u062a\u0642\u0639 \u0636\u0645\u0646 \u0642\u0627\u0639\u062f\u0629 \u0628\u064a\u0627\u0646\u0627\u062a \u0633\u0643\u0648\u0628\u0633 \u0641\u064a \u0627\u0644\u0631\u0628\u0639 \u0627\u0644\u062b\u0627\u0644\u062b (CiteScore=2.0) \u0648\u0642\u0627\u0639\u062f\u0629 \u0628\u064a\u0627\u0646\u0627\u062a \u0643\u0644\u0627\u0631\u064a\u0641\u064a\u062a \u0628\u0645\u0639\u0627\u0645\u0644 \u062a\u0623\u062b\u064a\u0631 (IF=1.1).<\/div>\n<div dir=\"auto\"><\/div>\n<div dir=\"auto\" style=\"text-align: right\"><img decoding=\"async\" class=\"lazyload alignnone wp-image-46567\" src=\"https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-258x300.jpg\" data-orig-src=\"https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-258x300.jpg\" alt=\"\" width=\"195\" height=\"227\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27195%27%20height%3D%27227%27%20viewBox%3D%270%200%20195%20227%27%3E%3Crect%20width%3D%27195%27%20height%3D%27227%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-66x77.jpg 66w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-177x206.jpg 177w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-200x233.jpg 200w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-258x300.jpg 258w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-300x350.jpg 300w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-320x373.jpg 320w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-400x466.jpg 400w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n-460x536.jpg 460w, https:\/\/uomosul.edu.iq\/engineering\/wp-content\/uploads\/sites\/9\/2024\/07\/450438219_1017242610194499_9001585998748080563_n.jpg 515w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 195px) 100vw, 195px\" \/><\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u0636\u0645\u0646 \u0627\u0644\u0627\u0646\u0634\u0637\u0629 \u0627\u0644\u0639\u0644\u0645\u064a\u0629 \u0627\u0644\u0645\u0633\u062a\u0645\u0631\u0629 \u0644\u0623\u0639\u0636\u0627\u0621 \u0627\u0644\u0647\u064a\u0626\u0629 \u0627\u0644\u062a\u062f\u0631\u064a\u0633\u064a\u0629 \u0644\u0642\u0633\u0645 \u0647\u0646\u062f\u0633\u0629 \u0627\u0644\u062d\u0627\u0633\u0648\u0628 \u0641\u064a \u0643\u0644\u064a\u0629 \u0627\u0644\u0647\u0646\u062f\u0633\u0629 \u0628\u062c\u0627\u0645\u0639\u0629 \u0627\u0644\u0645\u0648\u0635\u0644\u060c \u0646\u0634\u0631 \u0627\u0644\u0627\u0633\u062a\u0627\u0630 \u0627\u0644\u0645\u0633\u0627\u0639\u062f \u0627\u0644\u062f\u0643\u062a\u0648\u0631 \u0634\u0648\u0643\u062a \u0635\u0628\u0627\u062d \u062e\u064a\u0631\u0627\u0644\u0644\u0647 \u0628\u062d\u062b \u0639\u0644\u0645\u064a \u0645\u0646\u0641\u0631\u062f \u0628\u0639\u0646\u0648\u0627\u0646 \u201cFormal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation\u201d \u0641\u064a \u0645\u062c\u0644\u0629 Journal of Electronic Testing: Theory and Applications (JETTA). \u0648\u0647\u064a \u0645\u0646 \u0627\u0644\u0645\u062c\u0644\u0627\u062a \u0627\u0644\u0639\u0644\u0645\u064a\u0629 \u0627\u0644\u0631\u0635\u064a\u0646\u0629 \u0627\u0644\u062a\u064a \u062a\u0642\u0639 \u0636\u0645\u0646 \u0642\u0627\u0639\u062f\u0629 \u0628\u064a\u0627\u0646\u0627\u062a \u0633\u0643\u0648\u0628\u0633 \u0641\u064a \u0627\u0644\u0631\u0628\u0639 \u0627\u0644\u062b\u0627\u0644\u062b (CiteScore=2.0) \u0648\u0642\u0627\u0639\u062f\u0629 \u0628\u064a\u0627\u0646\u0627\u062a \u0643\u0644\u0627\u0631\u064a\u0641\u064a\u062a \u0628\u0645\u0639\u0627\u0645\u0644 \u062a\u0623\u062b\u064a\u0631 (IF=1.1).<\/p>\n","protected":false},"author":8,"featured_media":46566,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,10],"tags":[],"class_list":["post-46565","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-6","category-10"],"_links":{"self":[{"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/posts\/46565","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/comments?post=46565"}],"version-history":[{"count":2,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/posts\/46565\/revisions"}],"predecessor-version":[{"id":46569,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/posts\/46565\/revisions\/46569"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/media\/46566"}],"wp:attachment":[{"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/media?parent=46565"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/categories?post=46565"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/uomosul.edu.iq\/engineering\/wp-json\/wp\/v2\/tags?post=46565"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}