Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Michal Töpfer"'
Publikováno v:
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af6612834531abef84809bd9dc3da843
https://doi.org/10.5220/0011693300003402
https://doi.org/10.5220/0011693300003402
Publikováno v:
2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a128b5d2ec7d535cc91a133ad70386e
https://doi.org/10.1109/acsosc56246.2022.00033
https://doi.org/10.1109/acsosc56246.2022.00033
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c07af22f9b03d438fcf6331810837c32
https://doi.org/10.1007/978-3-031-19759-8_20
https://doi.org/10.1007/978-3-031-19759-8_20
