MITL specification debugging for monitoring of cyber-physical systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations
Original languageEnglish (US)
Pages (from-to)10-13
Number of pages4
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
StatePublished - Dec 13 2016
Event1st Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS 2016 - Reykjav�k, Iceland
Duration: Jun 4 2016Jun 5 2016

ASJC Scopus subject areas

  • Software

Cite this