Merkliste 
 1 Ergebnisse 
 
1

Uncertainty, Modeling and Safety Assurance: Towards a Unifi..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,
Chechik, Marsha ; Kokaly, Sahar ; Rahimi, Mona.. - p. 19-29 , 2020