Safety, dependability and performance analysis of extended AADL models /

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Format:	Artikel
Sprache:	English
Schlagworte:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge