An Algebraic Approach to Simulation and Verification for Cyber-Physical Systems with Shared-Variable Concurrency

Ran Li, Huibiao Zhu, Richard Banach

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'An Algebraic Approach to Simulation and Verification for Cyber-Physical Systems with Shared-Variable Concurrency'. Together they form a unique fingerprint.

Computer Science