mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
Advanced search
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 Gesamtbestand
Einrichtungen
Fakultäten
Fakultät für Informatik
Lehrstühle der Informatik
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
2010
Sojer2010d
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
BibTeX
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