Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Michal Töpfer, Milad Abdullah, Tomáš Bureš, Pert Hnětynka, Martin Kruliš

Journal title: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium

Journal number: 11

Journal publisher: Springer-Verlag

Published year: 2022

Published pages: 318–334

DOI identifier: 10.1007/978-3-031-19759-8_20

ISBN: 978-3-031-19758-1