Real Time and Such
This Festschrift reflects Professor Wang Yi''s contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.
Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. He has not only pushed the boundaries of theoretical research but also pioneered practi...
This Festschrift reflects Professor Wang Yi''s contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.
Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. He has not only pushed the boundaries of theoretical research but also pioneered practi...