Shaowen Miao

Xiamen University

Hong Kong University of Science and Technology (Guangzhou)

No.1 Du Xue Rd

Guangzhou, 511466

China

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

69

TOTAL CITATIONS

1

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

Security and Timing Analysis in Discrete-Event Systems: From Verification to Synthesis

Number of pages: 92 Posted: 19 Nov 2025

Shaowen Miao

Xiamen University

Downloads 69 (891,180)

Citation 1

View PDF
Download

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .