Design space exploration for cyber physical system design using constraint solving.

Benny Hckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vrtler

Browse the full FDL paper archive.