Synthesizing Robust Systems

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Herausgeber (Verlag)	.
Seiten	85-92
DOIs	https://doi.org/10.1109/FMCAD.2009.5351139
Publikationsstatus	Veröffentlicht - 2009

Zugriff auf Dokument

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Foschungsprojekt

@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 -