كتاب إلكتروني
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, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Peled, Doron A., editorAff16, Tsay, Yih-Kuen, editorAff17 |
المصدر: | 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 |