Scheduling Distributed Real-Time Systems by Satisfiability Checking

BIB
Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.
Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.
01 / 2005
1
inproceedings
IEEE Computer Society
409-415
IEEE Computer Society