mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(5176)
2023
(7949)
2022
(8728)
2021
(8933)
2020
(8190)
2019
(8865)
2018
(8662)
2017
(8686)
2016
(8831)
2015
(8220)
2014
(7148)
2013
(6755)
2012
(5774)
2011
(5563)
Fakultäten
(5249)
Architektur
(128)
Bau Geo Umwelt
(875)
Chemie
(33)
Elektrotechnik und Informationstechnik
(1097)
Informatik
(367)
Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Fachgebiet Algorithmus und Software für Höchstleistungsrechner (Prof. Bader)
(1)
Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Fachgebiet Cyber-Physical Systems and their Implementation
(7)
Fachgebiet Datenbanksysteme (Prof. Neumann)
Fachgebiet Erweiterte Realität (Prof. Klinker)
(16)
Fachgebiet Intelligente Autonmome Systeme (Prof. Beetz)
Fachgebiet Programmierung / Anwendungen verteilter Systeme (Prof. Brüggemann-Klein)
Fachgebiet Programmierung (Prof. Nipkow)
Fachgebiet Telerobotik und Sensordatenfusion (Prof. Burschka)
Fachgebiet Theoretische Informatik (Prof. Räcke)
Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(4)
Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(2)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukuren (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
Lehrstuhl für Informatik 4 / Software und Systems Engeneering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(23)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(92)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik – Kooperative Systeme (Prof. Schlichter)
(1)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(7)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(95)
Lehrstuhl für Informatik / Rechnertechnik. und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik / Software Engineering (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(95)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(27)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
Maschinenwesen
(693)
Mathematik
(118)
Medizin
(538)
Physik
(146)
Sport- und Gesundheitswissenschaften
(46)
TUM School of Education
(105)
Wirtschaftswissenschaften
(290)
Wissenschaftszentrum Weihenstephan
(814)
Integrated Research Centers
(84)
Zentrale Einrichtungen
(230)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Informatik
Back
Back to start of result list
Permanent link for displayed object
Title:
Deriving fault-detection mechanisms from safety requirements
Document type:
Zeitschriftenaufsatz
Author(s):
Sojer, Dominik; Buckl, Christian; Knoll, Alois
Journal title:
Computer Science - Research and Development
Year:
2011
Journal volume:
30
Journal issue:
1
Pages contribution:
21-34
Fulltext / DOI:
doi:10.1007/s00450-011-0203-z
Publisher:
Springer Science and Business Media LLC
E-ISSN:
1865-20341865-2042
Date of publication:
24.11.2011
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Informatik
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme (Prof. Knoll)
2015