Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

Autor: Mian, Zhibao1 mianzhibao@163.com, Bottaci, Leonardo2 L.Bottaci@hull.ac.uk, Papadopoulos, Yiannis2 Y.I.Papadopoulos@hull.ac.uk, Mahmud, Nidhal2 nidhal.mahmud@gmail.com
Zdroj: Journal of Systems & Software. May2019, Vol. 151, p258-282. 25p.
Databáze: Business Source Ultimate
Externí odkaz: