نتایج جستجو برای: tamarg
تعداد نتایج: 2 فیلتر نتایج به سال:
Timed automata with durational actions (daTA) are a form of timed automata that admit a more natural representation of durational actions and capturing true concurrency, with those additional benefits the kinds of properties to be verified on real-time systems will be enlarged. We present a novel approach to construct a region graph, based on the maximality semantics and preserving that specifi...
empowering rural women is one of the third millennium goals. to this end it was proposed to allot micro credits to rural women in order to provide the required capital to launch productive careers. now after a decade from the establishment of micro credit funds in iran, only few researches have been done to give a rank to them. the present research is conducted through survey method to rank mic...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید