Skip to main content
People
Isfahan University of Technology
Finding Contents or People
Biography 62
Ph.D Thesis Sabbatical
Hamid Reza Mirdamadi
Basic Information
On sabbatical leave at ULB
Promela model for process_run()
process_run() source code
do_poll() source code
do_event() source code
A Promela Model for Contiki's scheduler
Contki's scheduler functions
do_event() proctype
call_process() source code
exit_process() source code
Promela model for process_is_running
Pagination
First page
« First
Previous page
‹‹
…
Page
41
Page
42
Page
43
Page
44
Page
45
Page
46
Page
47
Page
48
Page
49
…
Next page
››
Last page
Last »
تحت نظارت وف ایرانی