Merkliste 
 1 Ergebnisse 
 
1

Simulation-Based Elicitation of Accuracy Requirements for t..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,
Philipp, Robin ; Qian, Hedan ; Hartjen, Lukas.. - p. 129-145 , 2021