返回导师列表
PK

Paritosh K. Pandya

Adjunct Professor

IIT Bombay · India
Robust Controller Synthesis and Runtime EnforcementMetric Temporal Logics and Timed automataDuration Calculus and Model CheckingRefinement Algebra and CSPHoare Logics for Distributed ProgramsReal-time Scheduling TheorySychronous Programming and Embedded Systems

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。