[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems

• 作者Margaria, Tiziana; Steffen, Bernhard
• 文件大小622.77KB
• 发表时间2018
• DOI10.1007/978-3-030-03424-5_14
• 页码202-220