mediaTUM - Media and Publication Server

User: Guest

mediaTUM Content

University Bibliography

Electronic Examination Papers

Open Access Publikationen

Research Data

TUM.University Press

Collections

Projects

Institutions

Academic Departments

Department of Mathematics

Physics Department

TUM School of Governance

Department of Chemistry

TUM School of Management

TUM Department of Civil, Geo and Environmental Engineering

Department of Architecture

Faculty of Mechanical Engineering

Department of Electrical and Computer Engineering

Faculty of Informatics

Examination Papers (1096)

Chairs of Informatics (7456)

Informatics 1 - Chair of Applied Software Engineering (Prof. Brügge)

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl) (2)

Informatics 3 - Chair of Database Systems (Prof. Kemper) (61)

Informatik 3 - Assistant Professorship of Data Mining and Analytics (Prof. Günnemann) (1)

Informatics 4 - Chair of Software and Systems Engineering (Prof. Broy) (1)

Informatics 4 - Informatics 4 - Software and Systems Engineering (Prof. Pretschner) (247)

Hardware-oriented Algorithms and Software for High Performance Computing (Prof. Bader) (12)

Informatics 5 - Field of Scientific Computing (Prof. Huckle)

Informatics 5 - Chair of Scientific Computing (Prof. Bungartz) (2989)

Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff) (17)

Informatik 6 - Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)

Informatics 6 - Field of Informatics with focus on Telerobotics and Sensor Data Fusion (Prof. Burschka) (6)

Informatics 6 - Chair of Robotics and Embedded Systems (Prof. Knoll) (1761)

2019 (74)

2018 (65)

2017 (105)

2016 (86)

2015 (114)

2014 (113)

2013 (143)

2012 (101)

2011 (104)

2010 (122)

2009 (101)

2008 (118)

2007 (58)

2006 (59)

2005 (53)

2004 (42)

2003 (20)

2002 (12)

2001 (22)

2000 (18)

1999 (25)

1998 (32)

1997 (15)

1996 (19)

1995 (11)

1994 (6)

1993 (19)

1992 (14)

1991 (17)

1990 (14)

1989 (7)

1988 (1)

1987 (1)

1986 (1)

Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza)

Informatics 7 - Field of Informatics with Focus on Theoretical Informatics (Prof. Rybalchenko)

Informatics 8 - Chair of Network Architectures (Prof. Carle) (697)

Informatics 9 - Field of Informatics with Focus on Intelligent Autonomous Systems (Prof. Beetz)

Informatics 9 - Chair of Computer Vision and Pattern Recognition (Prof. Cremers) (27)

Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)

Informatics 10 - Chair of Computer Architecture and Parallel Systems (Prof. Schulz) (27)

Informatics 10 - Field of Parallel and Distributed Architectures (Prof. Gerndt) (5)

Informatics 11 - Chair of Applied Informatics / Cooperative Systems (Prof. Schlichter) (4)

Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott) (86)

Informatics 11 - Field of Programming and Application of Distributed Systems

Informatics 12 - Chair of Bioinformatics (Prof. Rost)

Informatics 12 - Field of Bioinformatics (Prof. Kramer)

Informatik 13 - Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten) (114)

Informatics 13 - Chair of Business Information Systems (Prof. Jacobsen) (2)

Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers) (8)

Informatics 14 - Chair of Efficient Algorithms (N.N.) (65)

Informatics 14 - Field of Theoretical Informatics (Prof. Räcke)

Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey) (5)

Informatics 15 - Chair of Computer Graphics and Visualization (Prof. Westermann)

Informatik 15 - Professur für Visual Computing (Prof. Nießner)

Informatics 16 - Field of Augmented Reality (Prof. Klinker)

Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab) (1)

Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze) (4)

Informatics 17 - Chair for Information Systems (Prof. Krcmar) (1318)

Informatics 18 - Field of Algorithmic Game Theory (Prof. Brandt)

Informatics 18 - Chair of Decision Sciences & Systems (Prof. Bichler)

Informatics 19 - Chair of Software Engineering for Business Applications (Prof. Matthes) (8)

Informatics 20 - Chair of IT Security (Prof. Eckert) (1)

Informatics 21 - Field of Programming (Prof. Nipkow)

Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)

Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)

Informatics 25 - Chair for database systems (Prof. Neumann)

Assistant Professorship Games Engineering (Prof. Thuerey)

Assistant Professorship Bildbasierte Biomedizinische Modellierung (Prof. Menze)

Fachgebiet Cyber-Physical Systems and their Implementation (Prof. Althoff)

Center for Digital Technology and Management (CDTM) (Prof. Brügge)

Rechnerbetriebsgruppe Informatik (RBG-IN)

Technical Reports

Center of Life and Food Sciences Weihenstephan

Fakultät für Medizin

Faculty of Sport and Health Science

TUM School of Education

Academic department Aerospace and Geodesy

TUM Campus Straubing für Biotechnologie und Nachhaltigkeit

Research Centers

Service Facilities

Partnerschaftliche Einrichtungen

Jahrbuch 1989 - 2007

mediaTUM GesamtbestandEinrichtungenFakultätenFakultät für InformatikLehrstühle der InformatikInformatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)2010Sojer2010d

If you experience problems opening the document, please try this link.

Document type:

Konferenzbeitrag

Author(s):

Sojer, Dominik; Buckl, Christian; Knoll, Alois

Title:

Propagation, Transformation and Refinement of Safety Requirements

Keywords:

embedded, ftos

Book / Congress title:

Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages

Year:

2010

Occurrences:

mediaTUM Gesamtbestand Einrichtungen Fakultäten Fakultät für Informatik Lehrstühle der Informatik Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)2010