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 Mdel Mar, Panizo L
Conference NameXXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo
Date Published06/2018
Conference LocationToledo, Spain