Safety, dependability and performance analysis of extended AADL models /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_dbcnsk85ibcaq9fjd4b1c88tds
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235

Safety, dependability and performance analysis of extended AADL models /

Παρόμοια τεκμήρια