img
Formal verification for I²C communication Protocol in aerospace and aviation industries
Yazarlar
Merve Berik
Yahya Baykal
Makale Türü Özgün Makale
Makale Alt Türü SSCI, AHCI, SCI, SCI-Exp dergilerinde yayımlanan tam makale
Dergi Adı Microprocessors and Microsystems
Dergi ISSN 0141-9331
Dergi Tarandığı Indeksler SCI-Expanded
Dergi Grubu Q3
Makale Dili İngilizce
Basım Tarihi 03-2026
Cilt No 121
Sayı 3
Sayfalar 105252 / 105252
Doi Numarası 10.1016/j.micpro.2026.105252
Makale Linki https://doi.org/10.1016/j.micpro.2026.105252
Atıf Sayıları
SSCI/AHCI/SCI/ESCI 0
Scopus Atıf Sayısı 0
Diğer Atıflar 0
Formal verification for I²C communication Protocol in aerospace and aviation industries