排序方式:
    總頁 1 
      Go

    1.Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets

    Qin, T, Yin, L, Liu,     More...

    IEEE-CAA JOURNAL OF AUTOMATICA SINICA[2329-9266], Published 2025, Volume 12, Issue 1, Pages 54-68

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  15.3 

    顯示      條  合計   1   條
      總頁 1 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫