Incremental Online Verification of Dynamic Cyber-Physical Systems

Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Incremental Online Verification of Dynamic Cyber-Physical Systems'. Together they form a unique fingerprint.

Social Sciences

Engineering

Computer Science