Measuring Adaptability and Reliability of Large Scale Systems-Reference-Cited by-同舟云学术

Measuring Adaptability and Reliability of Large Scale Systems

Published:2020 Issue: Volume: Page:380-396
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
language:
Short-container-title:

Author:

Castiglioni Valentina,Loreti Michele,Tini Simone

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-61470-6_23

Reference31 articles.

1. Lecture Notes in Computer Science;L de Alfaro,2003

2. Anderson, S., Bredeche, N., Eiben, A., Kampis, G., van Steen, M.: Adaptive collective systems: herding black sheep. Bookprints (2013)

3. Arjovsky, M., Chintala, S., Bottou, L.: Wasserstein generative adversarial networks. In: Proceedings of ICML 2017, pp. 214–223 (2017). http://proceedings.mlr.press/v70/arjovsky17a.html

4. Lecture Notes in Computer Science;G Bacci,2015

5. Bortolussi, L., Hillston, J., Loreti, M.: Fluid approximation of broadcasting systems. Theoret. Comput. Sci. 816, 221–248 (2020). https://doi.org/10.1016/j.tcs.2020.02.020

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A framework to measure the robustness of programs in the unpredictable environment;Logical Methods in Computer Science;2023-07-07

2. How Adaptive and Reliable is Your Program?;Formal Techniques for Distributed Objects, Components, and Systems;2021

3. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020