A satisfiability approach to speed assignment for distributed real-time systems.

Autor: Kumar, Pratyush, Chokshi, Devesh B., Thiele, Lothar
Zdroj: Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p749-754, 6p
Databáze: Complementary Index