Topic 1:Â Verification of an Alerting and Resolution Algorithm for a Parallel Aircraft Landing Protocol Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign Time: 10:00am Topic 2: Kodiak:…
Day: April 11, 2016
7.18.14 Ghosh/Legrand
Topic 1: Automatic Verification of Stabilization Protocols by Small Model Property Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign Date: Friday July 18, 2014 Time: 10:00am Topic 2…
Seminar 2014-09 Chau-Lyan Chang: Numerical Simulations of General Conservation Laws Using the Space-Time Conservative CESE Method
This content is password protected. To view it please enter your password below: Password: