Specification-centered robustness

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication2011 6th International Symposium on Industrial Embedded Systems
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers
Pages176-185
ISBN (Print)978-1-612-84818-1
DOIs
Publication statusPublished - 2011
EventIEEE International Symposium on Industrial Embedded Systems - Västeràs, Sweden
Duration: 15 Jun 201117 Jun 2011

Conference

ConferenceIEEE International Symposium on Industrial Embedded Systems
CountrySweden
CityVästeràs
Period15/06/1117/06/11

Fields of Expertise

  • Information, Communication & Computing

Cite this

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2011). Specification-centered robustness. In 2011 6th International Symposium on Industrial Embedded Systems (pp. 176-185). Piscataway, NJ: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SIES.2011.5953660

Specification-centered robustness. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Jobstmann, Barbara.

2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2011. p. 176-185.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Chatterjee, K, Greimel, K, Henzinger, TA & Jobstmann, B 2011, Specification-centered robustness. in 2011 6th International Symposium on Industrial Embedded Systems. Institute of Electrical and Electronics Engineers, Piscataway, NJ, pp. 176-185, IEEE International Symposium on Industrial Embedded Systems, Västeràs, Sweden, 15/06/11. https://doi.org/10.1109/SIES.2011.5953660
Bloem RP, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In 2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ: Institute of Electrical and Electronics Engineers. 2011. p. 176-185 https://doi.org/10.1109/SIES.2011.5953660
Bloem, Roderick Paul ; Chatterjee, Krishnendu ; Greimel, Karin ; Henzinger, Thomas A. ; Jobstmann, Barbara. / Specification-centered robustness. 2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2011. pp. 176-185
@inproceedings{8d58748f033b43ff968b0e97e4c5baf4,
title = "Specification-centered robustness",
author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Henzinger, {Thomas A.} and Barbara Jobstmann",
year = "2011",
doi = "10.1109/SIES.2011.5953660",
language = "English",
isbn = "978-1-612-84818-1",
pages = "176--185",
booktitle = "2011 6th International Symposium on Industrial Embedded Systems",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Specification-centered robustness

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas A.

AU - Jobstmann, Barbara

PY - 2011

Y1 - 2011

UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5953660

U2 - 10.1109/SIES.2011.5953660

DO - 10.1109/SIES.2011.5953660

M3 - Conference contribution

SN - 978-1-612-84818-1

SP - 176

EP - 185

BT - 2011 6th International Symposium on Industrial Embedded Systems

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway, NJ

ER -