Statistics
Publications
10
Citations
227
H-Index
10
Active since
1993
Affiliations
Adel Torkaman Rahmani is an author at Iran University of Science and Technology specializing in computing, computer science, and model checking.
Publications per year
1993–2016
10
10
Towards automated verification of layered graph transformation specifications
Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi et al. · IET Software · 2009 · 27 citations
1–5 of 10