Hasil Pencarian  ::  Simpan CSV :: Kembali

" This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; ... "

Berlin: Springer-Verlag, 2011

e20407983

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak