Auflistung nach Autor "Filieri, Antonio"
Anzeige der Dokumente 1-3 von 3
-
Automated design of self-adaptive software with control-theoretical formal guarantees
Filieri, Antonio; Hoffmann, Henr; Maggio, Martina
112-113 -
Reliability analysis in symbolic pathfinder: A brief summary
Filieri, Antonio; Păsăreanu; Visser, Willem
39-40 -
Statistical symbolic execution with informed sampling
Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, Jaco
51-52