Finding Contents or People

IAHA Papers
Math Subject Classification
46H Topological Algebras, Banach Algebras
Geospatial modeling to identify the effects of anthropogenic processes on landscape pattern change and biodiversity
Integration of remote Sensing data and GIS for prediction of land cover map
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