Kåre Harbo Poulsen, Paul Pop, Viacheslav Izosimov. A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 756-759, IEEE, 2007. [doi]
Abstract is missing.