Menghubungkan ke Publiora...
Product
Pricing
Panduan
Masuk / Daftar
ScopusLens
/
Formal Methods in System Design
Formal Methods in System Design
Q3
Springer Netherlands — Netherlands (Western Europe)
Active in Scopus
journal
0.290
SJR
59
H-Index
1.32
CiteScore
36
Total Dokumen
78
Sitasi 3 Tahun
44.1
Ref/Dokumen
#17,543
Rank Global
56
Dokumen 3 Tahun
Identitas
ISSN Print
1572-8102
ISSN Electronic
0925-9856
Cakupan Tahun
1992-2022, 2024-2026
Scopus Source ID
12262
Bidang Subjek
Computer Science
Mathematics
Kategori
Hardware and Architecture
Software
Theoretical Computer Science
Tautan
Website Jurnal
Lihat di Scopus
Lihat di Scimago
Formal Methods in System Design — Q3 SJR 0.290 | ScopusLens Publiora
