Author:
Hennicker Rolf,Wirsing Martin
Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A dynamic logic with branching modalities;Journal of Logical and Algebraic Methods in Programming;2024-01
2. Machine-learning abstractions for component-based self-optimizing systems;International Journal on Software Tools for Technology Transfer;2023-11-02
3. Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures;Lecture Notes in Computer Science;2023
4. Epistemic Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
5. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022