Samir Tigane profil resmi
Samir Tigane Doç. Dr. University of Biskra
Yayın 1 Hakemlik 0
1 Yayın
0 Hakemlik

Uzmanlık Alanları

Bilgisayar Yazılımı

Kurum

University of Biskra

Yayınlar

Formal Verification of UML Statechart Diagrams via Graph Transformation to Generalized Stochastic Petri Nets: A Meta-Modeling Approach
Yazarlar: Fayçal Guerrouf , Samir Tigane
Yayın Bilgisi: 2026 , Sakarya University Journal of Computer and Information Sciences
DOI: 10.35377/saucis...1872608
FAVORİ 0 TOPLAM İNDİRİLME SAYISI 117

0

117

Makalelerin Yayımlandığı Dergiler
Sakarya University Journal of Computer and Information Sciences
Sakarya University Journal of Computer and Information Sciences
Kullanıcının DergiPark'ta kayıtlı görevi bulunmamaktadır.
Crossref atıf bulunmamaktadır.
Popüler Yayınlar: DergiPark'ta araştırma yapan araştırmacılar tarafından favoriye eklenme istatistiğine göre otomatik belirlenmektedir. CrossRef Atıf: DergiPark'ta gösterilen atıflar CrossRef'ten çekilmektedir. Bunun için atıf alan ve atıf verilen makalelerin CrossRef'te kaydının olması (DOI numarası) gerekmektedir. ^: Atıf sayıları DergiPark tarafından belirli periyotlar ile sisteme yansıtılmaktadır.