MSc Presentation: Symbolic Model Checking of Timed Automata using LTSmin
When: Sept. 30, 2016, 14:00-15:30
Where: Carre -2G
Who: Sybe van Hijum
To be announced.
MSc Presentation: Symbolic Model Checking of Timed Automata using LTSminWhen: Sept. 30, 2016, 14:00-15:30 Where: Carre -2G Who: Sybe van Hijum To be announced. |