|
[YMCM21]
Cangzhou Yuan, Kangzhao Wu, Guotao Chen and Yongjia Mo.
An Automatic Transformation Method from AADL Reliability Model to CTMC.
In Proc. IEEE International Conference on Information Communication and Software Engineering (ICICSE'21).
2021.
[Presents methods for translating the AADL modelling language, using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|