Finding Contents or People

Developing soil pollution Atlas for Hamadan province
Environmental flow requirement of Zanadehrud River and GavKhooni International Wetland for sustainable ecological functions
My Pivotal Unique Feature
Hamid Reza Mirdamadi
Research Topics & Directions
Promela model for process_run()
Promela model for do_poll()
Promela model for do_event()
do_poll() proctype
Promela model for call_process
A Promela Model for Contiki's scheduler
Contki's scheduler functions
do_event() proctype
call_process() proctype
exit_process() proctype