-
1
-
2
-
3
-
4
AADL2TASM: a Verification and Analysis Tool for AADL Models
Veröffentlicht in 东华大学学报(英文版)
VolltextArtikel -
5
-
6
-
7
-
8
Formal Verification of TASM Models by Translating into UPPAAL
Veröffentlicht in 东华大学学报(英文版)
VolltextArtikel