Skip to main content
Dr.Elham Mahmoudzadeh
Assistant Professor of Electrical & Computer
Promela model for do_event()
Control flow abstraction of
do_event()
Control flow abstraction of Promela model of
do_event()
Dr.Elham Mahmoudzadeh
https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-doevent
تحت نظارت وف ایرانی
