MITL specification debugging for monitoring of cyber-physical systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)10-13
Number of pages4
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume232
StatePublished - Dec 13 2016

ASJC Scopus subject areas

  • Software

Cite this

MITL specification debugging for monitoring of cyber-physical systems. / Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 232, 13.12.2016, p. 10-13.

Research output: Contribution to journalArticle

@article{9b8b30a3d15847ec91c5de5c810e71f5,
title = "MITL specification debugging for monitoring of cyber-physical systems",
author = "Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos",
year = "2016",
month = "12",
day = "13",
language = "English (US)",
volume = "232",
pages = "10--13",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

TY - JOUR

T1 - MITL specification debugging for monitoring of cyber-physical systems

AU - Dokhanchi, Adel

AU - Hoxha, Bardh

AU - Fainekos, Georgios

PY - 2016/12/13

Y1 - 2016/12/13

UR - http://www.scopus.com/inward/record.url?scp=85018633142&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85018633142&partnerID=8YFLogxK

M3 - Article

VL - 232

SP - 10

EP - 13

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

SN - 2075-2180

ER -