A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi. A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. In Marco Bernardo, Alessandro Bogliolo, editors, Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Volume 3465 of Lecture Notes in Computer Science, pages 155-189, Springer, 2005. [doi]

This author has not been identified. Look up 'Andrea Acquaviva' in GoogleThis author has not been identified. Look up 'Alessandro Aldini' in GoogleThis author has not been identified. It may be one of the following persons:

Marco Bernardo

Look up 'Marco Bernardo' in GoogleThis author has not been identified. Look up 'Alessandro Bogliolo' in GoogleThis author has not been identified. Look up 'Edoardo Bontà' in GoogleThis author has not been identified. Look up 'Emanuele Lattanzi' in Google

runs on WebDSL