|
|
|
|
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
|