March 16, 2016 | National Institute of Aerospace

March 16, 2016in Seminars0by Bianca Clark

3.3.16 Nedunuri

Title: Applications of Formal Methods to Practical Problems Date: Thursday, March 3, 2016 Time: 10:00 – 11:00 Room: 137, NIA Speaker: Srinivas Nedunuri Abstract: Briefly survey a couple of examples…