Software Synthesis for Energy-Constrained Hard Real-Time Systems

ISBN-13: 9783844398113 / Angielski / Miękka / 2011 / 248 str.

Eduardo Tavares

O autorze

Eduard Tavares received a Ph.D. degree in Computer Science at Universidade Federal de Pernambuco (UFPE), 2010. Currently, he is an associate professor at Centro de Informática - UFPE, and his research interests include (but are not limited to): formal methods; (power-aware) real- time systems; and performance/dependability evaluation;