Formal Specification and Analysis of Trusted Communities

التفاصيل البيبلوغرافية
العنوان: Formal Specification and Analysis of Trusted Communities
المؤلفون: Steghofer, Jan-Philipp, Nafz, Florian, Reif, Wolfgang, Bernard, Yvonne, Klejnowski, Lukas, Hahner, Jorg, Muller-Schloer, Christian
المصدر: 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010 Fourth IEEE International Conference on. :190-195 Sep, 2010
Relation: 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781424486847
9780769542294
DOI:10.1109/SASOW.2010.39