Prof. Thomas Henzinger gave a talk on "Embedded Software: Better Models, Better Code"
slide changes every 10 seconds
Berkeley EECS Annual Research Symposium, February 26-28, 2004 |
Prof. Thomas Henzinger gave a talk on "Embedded Software: Better Models, Better Code"