Auflistung nach Schlagwort "Statistical Model-Checking"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragPrecomputing Reconfiguration Strategies based on Stochastic Timed Game Automata(Software Engineering 2023, 2023) Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, AlexanderWe summarize our paper Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata which has been published in the proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022).