Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	International Conference on Embedded Software (EMSOFT)
Publication date	15 Oct 2017
DOIs	https://doi.org/10.1145/3125503.3125569
Publication status	Published - 15 Oct 2017
Externally published	Yes
Event	International Conference on Embedded Software - Seoul, Korea, Democratic People's Republic of Duration: 15 Oct 2017 → 20 Oct 2017 Conference number: 13 https://ieeexplore.ieee.org/xpl/conhome/8091282/proceeding

Conference	International Conference on Embedded Software
Number	13
Country/Territory	Korea, Democratic People's Republic of
City	Seoul
Period	15/10/2017 → 20/10/2017
Internet address	https://ieeexplore.ieee.org/xpl/conhome/8091282/proceeding

Access to Document

@inproceedings{ec8d40ee988446dc8d733633e81ff8b2,

title = "Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress",

author = "Saurav Ghosh and Debasmita Lohar and Soumyajit Dey",

year = "2017",

month = oct,

day = "15",

doi = "10.1145/3125503.3125569",

language = "English",

booktitle = "International Conference on Embedded Software (EMSOFT)",

note = " International Conference on Embedded Software , EMSOFT ; Conference date: 15-10-2017 Through 20-10-2017",

url = "https://ieeexplore.ieee.org/xpl/conhome/8091282/proceeding",

}

TY - GEN

T1 - Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress

AU - Ghosh, Saurav

AU - Lohar, Debasmita

AU - Dey, Soumyajit

N1 - Conference code: 13

PY - 2017/10/15

Y1 - 2017/10/15

U2 - 10.1145/3125503.3125569

DO - 10.1145/3125503.3125569

M3 - Article in proceedings

BT - International Conference on Embedded Software (EMSOFT)

T2 - International Conference on Embedded Software

Y2 - 15 October 2017 through 20 October 2017

ER -