Safety, dependability and performance analysis of extended AADL models /

Bewaard in:

Bibliografische gegevens
Andere auteurs:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Formaat:	Artikel
Taal:	English
Onderwerpen:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items