Comprehensive Verification Framework for Dependability of Self-optimizing Systems

التفاصيل البيبلوغرافية
العنوان:	Comprehensive Verification Framework for Dependability of Self-optimizing Systems
المؤلفون:	Zhao, Y.^Aff18, Kardos, M.^Aff18, Oberthür, S.^Aff18, Rammig, F. J.^Aff18
المساهمون:	Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Peled, Doron A., editor^Aff16, Tsay, Yih-Kuen, editor^Aff17
المصدر:	Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings. 3707:39-53
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783540292098 9783540319696
DOI:	10.1007/11562948_6