Design and Optimization of Solar-Powered Embedded Systems with Uppaal Stratego.

Ismael Samaye, Abdoulaye Gamati

Browse the full DATE paper archive.