Synthesizing Robust Systems

Roderick Paul Bloem; Karin Greimel; Thomas Henzinger; Barbara Jobstmann

doi:10.1109/FMCAD.2009.5351139

Synthesizing Robust Systems

Roderick Paul Bloem, Karin Greimel, Thomas Henzinger, Barbara Jobstmann

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Publisher	.
Pages	85-92
DOIs	https://doi.org/10.1109/FMCAD.2009.5351139
Publication status	Published - 2009

Access to Document

10.1109/FMCAD.2009.5351139

robustness.pdfFinal published version, 166 KB

Cite this

@inproceedings{ebc75de2f64a4b998c999010f8fcebc5,

title = "Synthesizing Robust Systems",

author = "Bloem, {Roderick Paul} and Karin Greimel and Thomas Henzinger and Barbara Jobstmann",

year = "2009",

doi = "10.1109/FMCAD.2009.5351139",

language = "English",

pages = "85--92",

booktitle = "Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009",

publisher = ".",

}

TY - GEN

T1 - Synthesizing Robust Systems

AU - Bloem, Roderick Paul

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Jobstmann, Barbara

PY - 2009

Y1 - 2009

UR - http://fmv.jku.at/fmcad09/

U2 - 10.1109/FMCAD.2009.5351139

DO - 10.1109/FMCAD.2009.5351139

M3 - Conference paper

SP - 85

EP - 92

BT - Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009

PB - .

ER -

Synthesizing Robust Systems

Access to Document

Other files and links

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Cite this

Synthesizing Robust Systems

Access to Document

Other files and links

Projects

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Cite this