Professor of Verification and Control, University of Oxford - 引用次數:4642 次 - Formal Verification - Control Theory - Stochastic Hybrid ...
確定! 回上一頁