كتاب إلكتروني
Towards Dynamic Adaptation of Probabilistic Systems
العنوان: | Towards Dynamic Adaptation of Probabilistic Systems |
---|---|
المؤلفون: | Andova, S.Aff18, Groenewegen, L. P. J.Aff19, de Vink, E. P.Aff18 |
المساهمون: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Aff17, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Margaria, Tiziana, editorAff16 |
المصدر: | Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. 6416:143-159 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783642165603 9783642165610 |
---|---|
DOI: | 10.1007/978-3-642-16561-0_19 |