Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 36 of 38 found articles
 
 
  Verification of current-state opacity and opaque time for labeled time Petri net systems
 
 
Title: Verification of current-state opacity and opaque time for labeled time Petri net systems
Author: Wang, Yuting
Li, Liang
Li, Zhiwu
Appeared in: Automatica
Paging: Volume 176 () nr. C pages p.
Year: 2025
Contents:
Publisher: Elsevier Ltd
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 36 of 38 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands