Skip to main content
People
Isfahan University of Technology
Finding Contents or People
Smart Materials and Active Structures (SMAS) Laboratory
Hamid Reza Mirdamadi
Basic Information
Research Topics & Directions
Main Streams of Research Projects
A Promela Model for Contiki's scheduler
Contiki's data structures
Promela model for process list
process list source code
Promela model for event queue
Event queue source code
Eng
e
ah
2
Pagination
First page
« First
Previous page
‹‹
…
Page
253
Page
254
Page
255
Page
256
Current page
257
Page
258
Page
259
Page
260
Page
261
…
Next page
››
Last page
Last »
تحت نظارت وف ایرانی