上海交大研究生院主页平台管理系统 yinxiang--Home-- On the Verification of Detectability for Timed Systems

Language : 中文

殷翔

Scientific Research: Research Field; Paper Publications; Patents; Published Books; Research Projects

Teaching Research: Teaching Resources; Teaching Information; Teaching Achievement

Current position: Home > Scientific Research > Paper Publications

Hits:

Journal:Proceedings of the American Control Conference

ISSN No.:0743-1619

Translation or Not:no

Date of Publication:2022-01-01

Indexed by:会议论文

Date of Publication:2022-01-01

Pre One:Security-preserving multi-agent coordination for complex temporal logic tasks

Next One:Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model

Recommend this Article

Click: