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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	International Conference on Embedded Software (EMSOFT)
Publikationsdato	15 okt. 2017
DOI	https://doi.org/10.1145/3125503.3125569
Status	Udgivet - 15 okt. 2017
Udgivet eksternt	Ja

Adgang til dokumentet

@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)",

}

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

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

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)

ER -