Mousavi, H., Mahmoudzadeh, E., Ebnenasir, A., “A Promela Model for Contiki’s Scheduler,”
CSI/CPSSI International Symposium on Real-Time and Embedded Systems and and Technologies, 2020.
تحت نظارت وف ایرانی