Safety, dependability and performance analysis of extended AADL models /

Đã lưu trong:
Chi tiết về thư mục
Tác giả khác: Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
LEADER 01005nam a2200337 4500
001 DLU110130040
005 ##20111223
040 # # |a DLU  |b eng 
041 # # |a eng 
044 # # |a uk 
245 # # |a Safety, dependability and performance analysis of extended AADL models /  |c Marco Bozzano ... [et al.].  
653 # # |a AADL modelling language 
653 # # |a Dependability analysis 
653 # # |a Performance analysis 
653 # # |a Safety analysis 
700 # # |a Bozzano, Marco. 
700 # # |a Cimatti, Alessandro. 
700 # # |a Katoen, Joost-Pieter. 
700 # # |a Nguyen, Viet Yen. 
700 # # |a Noll, Thomas. 
700 # # |a Roveri, Marco.  
773 # # |t The Computer Journal  |g Vol. 54, no. 5 (May 2011), p. 754-775 
920 # # |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt 
994 # # |a DLU 
900 # # |a True 
911 # # |a Trương Bảo Trâm Anh 
925 # # |a G 
926 # # |a A 
927 # # |a BB 
980 # # |a Thư viện Trường Đại học Đà Lạt