December 15, 2025 April 2005, “Tools for the Analysis of Networked Hybrid Systems”, Center for Hybrid and Embedded Software Systems, University of California, Berkeley. Share this Related Stories See all news Committee co-chaired by Prof. Dava Newman issues a new roadmap for human missions to Mars When companies “go green,” air quality impacts can vary dramatically See all news
