"MightyL: A Compositional Translation from MITL to Timed Automata" Hsi-Ming Ho | CAV 2017
Talk in "Cyber-physical Systems" session @ CAV 2017, Heidelberg Germany
Talk in "Cyber-physical Systems" session @ CAV 2017, Heidelberg Germany
Добавить
Уведомления