مرور بر اساس تاریخ انتشار Tangming Yuan

Showing results 1 to 1 of 1
PreviewIssue DateTitleContributor(s)
7458841.pdf.jpg2016BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event SystemsTianhua Xu; Haifeng Wang; Tangming Yuan; MengChu Zhou