Towards Energy-aware Cyber-Physical Systems Verification and Optimization.

Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena

Browse the full FedCSIS paper archive.