上海交大研究生院主页平台管理系统 yinxiang--Home-- Recent advances on formal methods for safety and security of cyber-physical 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:Control Theory and Technology

ISSN No.:20956983

Translation or Not:no

Date of Publication:2020-01-01

Indexed by:期刊论文

Date of Publication:2020-01-01

Pre One:A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System

Next One:WIP abstract: Towards approximate opacity of cyber-physical system

Recommend this Article

Click: