Finding Contents or People

بررسي تغيير هاي درصد تاج پوشش گياهي با استفاده از داده هاي ماهواره اي طي سالهاي 1352 تا 1387 (مطالعه موردي : پناهگاه حيات وحش موته
بررسي امكان پايش تغييرات پوشش گياهي با استفاده از شاخصهاي پوشش گياهي (مطالعه موردي: منطقه فلاورجان
پايش آلودگي خاك به كروم در اراضي كشاورزي استان همدان
Smart Materials and Active Structures (SMAS) Laboratory
آزمايشگاه مواد هوشمند و سازه‌هاي فعال
Hamid Reza Mirdamadi
Basic Information
On sabbatical leave at ULB
Promela model for process_run()
process_run() source code
Promela model for do_poll()
Promela model for do_event()
do_poll() proctype
Promela model for call_process
Contki's scheduler functions