-
1
-
2
-
3
-
4
-
5
A framework for current-state opacity under dynamic information release mechanism
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
6
-
7
Abstraction-Based Verification of Approximate Preopacity for Control Systems
Veröffentlicht in IEEE control systems letters
VolltextArtikel -
8
-
9
Specific expression and alternative splicing of mouse genes during spermatogenesis
Veröffentlicht in Molecular omics
VolltextArtikel -
10
The Evaluation of the Risk Factors for Non-Muscle Invasive Bladder Cancer in Chinese Population
Veröffentlicht in PloS one
VolltextArtikel -
11
The Evaluation of the Risk Factors for Non-Muscle Invasive Bladder Cancer
Veröffentlicht in PloS one
VolltextArtikel -
12
-
13
-
14
-
15
A Framework for Current-State Opacity under Dynamic Information Release Mechanism
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
-
19
-
20