Specification-centered robustness

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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