A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems.

Kre Harbo Poulsen, Paul Pop, Viacheslav Izosimov

Browse the full ETFA paper archive.