Finding Contents or People

46H Topological Algebras, Banach Algebras
22D Locally Compact Groups and Their Algebras
Research Interests
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
A Promela Model for Contiki's scheduler
Contiki's data structures
Promela model for process list
process list source code
Fluid Flow in Porous Media