12/04/18 – Lina Ye

Speaker: Lina Ye (Maître de Conférence, laboratoire LRI, Université Paris-Sud 11 et CentraleSupélec, Université Paris Saclay)
Title: Formal Verification of Hybrid Systems based on Timed Abstraction

Continue reading