An Event-driven interval temporal logic for hybrid systems (Work in Progress)

TitleAn Event-driven interval temporal logic for hybrid systems (Work in Progress)
Publication TypeConference Paper
Year of Publication2018
AuthorsGallardo M-del-M, Panizo L
Conference NameXXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo
Date Published06/2018
Conference LocationToledo, Spain