Synthesizing Robust Systems

Roderick Paul Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas Henzinger; Georg Hofferek; Barbara Jobstmann; Bettina Könighofer; Robert Könighofer

doi:10.1007/s00236-013-0191-5

Synthesizing Robust Systems

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	193-220
Fachzeitschrift	Acta informatica
Jahrgang	51
Ausgabenummer	3
DOIs	https://doi.org/10.1007/s00236-013-0191-5
Publikationsstatus	Veröffentlicht - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Application
Theoretical

Zugriff auf Dokument

10.1007/s00236-013-0191-5

Andere Dateien und Links

RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Foschungsprojekt
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

Dieses zitieren

@article{9034a36f2f614338af98e4a32ac5a5f0,

title = "Synthesizing Robust Systems",

author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Thomas Henzinger and Georg Hofferek and Barbara Jobstmann and Bettina K{\"o}nighofer and Robert K{\"o}nighofer",

year = "2014",

doi = "10.1007/s00236-013-0191-5",

language = "English",

volume = "51",

pages = "193--220",

journal = "Acta informatica",

issn = "1432-0525",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - Synthesizing Robust Systems

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Hofferek, Georg

AU - Jobstmann, Barbara

AU - Könighofer, Bettina

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

UR - http://link.springer.com/article/10.1007/s00236-013-0191-5

U2 - 10.1007/s00236-013-0191-5

DO - 10.1007/s00236-013-0191-5

M3 - Article

SN - 1432-0525

VL - 51

SP - 193

EP - 220

JO - Acta informatica

JF - Acta informatica

IS - 3

ER -

Synthesizing Robust Systems

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Dieses zitieren