Samir Tigane profile image
Samir Tigane Assoc. Prof. Dr. University of Biskra
Publication 1 Review 0
1 Publication
0 Review

Research Fields

Computer Software

Institution

University of Biskra

Publications

Formal Verification of UML Statechart Diagrams via Graph Transformation to Generalized Stochastic Petri Nets: A Meta-Modeling Approach
Authors: Fayçal Guerrouf , Samir Tigane
Published: 2026 , Sakarya University Journal of Computer and Information Sciences
DOI: 10.35377/saucis...1872608
FAVORITE 0 TOTAL DOWNLOAD COUNT 114

0

114

Articles published in
Sakarya University Journal of Computer and Information Sciences
Sakarya University Journal of Computer and Information Sciences
User doesn't have any peer review duties on DergiPark.
There are no Crossref cited.
Popular Publications: It is determined automatically by the researchers doing research in DergiPark according to the statistics of being added to the favorites. CrossRef Cited: The citations shown in DergiPark are drawn from CrossRef. For this, the cited and cited articles must be registered in CrossRef (DOI number). ^: Citation numbers are reflected in the system by DergiPark at certain periods.