“A Compiler Infrastructure for Static and Hybrid Analysis of Discrete Event System Models”
Title: "A Compiler Infrastructure for Static and Hybrid Analysis of Discrete Event System Models" Speaker: Tim Schmidt, University of California, Irvine Date and Time: Friday, April 20, 2018 at 10:00AM-11:00PM Location: Engineering Hall 3206 Committee: Professor Rainer Doemer (Chair), Fadi Kurdahi, Kwei-Jay Lin Abstract: The design of embedded systems is a well-established research domain for many […]