Auflistung nach Autor "Kröger, Paul"
Anzeige der Dokumente 1-2 von 2
-
Bayesian hybrid automata: Reconciling formal methods with metrology
Kröger, Paul; Fränzle, Martin
265-275 -
System correctness under adverse conditions
Olderog, Ernst-Rüdiger; Fränzle, Martin; Theel, Oliver; Kröger, Paul
249-251