कुशराज मदनानी

सहेयक प्रोफेसर

 
  khushraj [at] iitg [dot] ac.in

अनुसंधान रुचि:

<pre aria-label="Translated text: अनंत-अवस्था प्रणालियों का औपचारिक सत्यापन, समयबद्ध प्रणालियों के लिए ऑटोमेटा और तर्क, संगणना के औपचारिक तर्क और मॉडल, और नेटवर्क नियंत्रित साइबर भौतिक प्रणालियाँ" class="tw-data-text tw-text-large tw-ta" data-placeholder="Translation" data-ved="2ahUKEwj6o_jzo46OAxWRzzgGHc10LJcQ3ewLegQICRAU" dir="ltr" id="tw-target-text" style="text-align:left"> <span class="Y2IQFc" lang="hi">अनंत-अवस्था प्रणालियों का औपचारिक सत्यापन, समयबद्ध प्रणालियों के लिए ऑटोमेटा और तर्क, संगणना के औपचारिक तर्क और मॉडल, और नेटवर्क नियंत्रित साइबर भौतिक प्रणालियाँ</span></pre>

निजी वेबसाइट | विदवान प्रोफ़ाइल

विभाग/केंद्र/स्कूल