Fayçal Guerrouf profile image
Fayçal Guerrouf Assoc. Prof. Dr. Mohamed Khider
Publication 1 Review 0
1 Publication
0 Review

Research Fields

Computer System Software

Institution

Mohamed Khider

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 109

0

109

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.