Finding Contents or People

Integration of remote Sensing data and GIS for prediction of land cover map
Biography 69
My Pivotal Unique Feature
Smart Materials and Active Structures (SMAS) Laboratory
Hamid Reza Mirdamadi
Basic Information
Research Topics & Directions
Main Streams of Research Projects
Promela model for process_run()
do_event() source code
Promela model for do_poll()
Promela model for do_event()
Promela model for call_process
Promela model for exit_process()
Promela model for process_is_running