Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking

von Pappagallo, Angela
Veröffentlicht in AIxIA (20. : 2021 : Online) AIxIA 2021 - advances in artificial intelligence (2022)