Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Tue 16 Jul 2019 14:00 - 15:00 at Meeting Room 4 - Session 3 - Invited Talk

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30
14:00
60m
Talk
Efficient Evaluation of Embedded-System Design Alternatives
26th International SPIN Symposium on Model Checking of Software
Maxime Cordy SnT, University of Luxembourg