Skip to main content
For Better Performance Please Use Chrome or Firefox Web Browser
Dr.Elham Mahmoudzadeh
Assistant Professor of Electrical & Computer
Search form
Search
English
فارسی
Promela model for event queue
1
typedef event_data {
2
mtype: process_event_t ev;
3
mtype: process_data_t data;
4
int p;
5
}
6
event_data events[PROCESS_CONF_NUMEVENTS];
Structure of
event queue
Promela model of
event queue
Home
Biography
Publications
Research Projects
Teaching
Students
Laboratories
تحت نظارت وف ایرانی