Makale detayı · 2016 · article
An overview of model checking practices on verification of PLC software
ISSN1619-1366
YÖKSİS
OpenAlex
Üst %10
Yıl2016
Atıf74OpenAlex
Atıf1Semantic Scholar
Yüzdelik%91,7
FWCI3,261,00 = dünya ortalaması
Scopus (SJR)Q2
WoS (JCR)Q2
Veri kaynağı ayrımı
- YÖKSİSYÖKSİS makale kaydı
- YÖKSİS dergi adıSoftware & Systems Modeling
- Katalog eşleşmesi (ISSN)Software and Systems Modeling
- OpenAlexOpenAlex zenginleştirmesi (özet, atıf, konular)
- Semantic Scholaratıf sayısı (OpenAlex ile birleştirilmez)
Özet
Özet henüz derlenmedi; DergiPark / OpenAlex kuyruğu işlenince burada görünecek.
Konular
Atıflar
OpenAlex cited_by_count. WoS veya Scopus atıf sayısı değildir; o kaynaklar için ayrı kolon yoktur.
74atıfOpenAlex · cited_by_count (önbellek / veritabanı)
Yerel katalogda bu makaleye atıf yapan 3 yayın (OpenAlex referans eşleşmesi; tam dünya listesi değildir).
- 2016 Advances in test generation for testing software and systems: An introduction to selected papers from ICTSS 2013Atıf 4 · OpenAlex
- 2023 A New Method for Verification and Evaluation of PLC SoftwareAtıf 0 · OpenAlex
- 2023 A New Method for Verification and Evaluation of PLC SoftwareAtıf 0 · OpenAlex