xTune: A Formal Methodology for Cross-layer Tuning
of Mobile Real-time Embedded Systems
[Home] [People] [News] [Publications] [Sponsors] [Links]