“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 […]