Software reuse for dynamic systems in the cloud and beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 ; proceedings

Veröffentlicht 2014

Psychosomatische Grundversorgung im Krankenhaus : eine empirische Untersuchung zu biopsychosozialen Belastungen, Behandlungsmaßnahmen und Behandlungsergebnissen aus Sicht der Ärz...

von Schäfer, Inna
Veröffentlicht 2013

Integrating formal verification into the model-based development of adaptive embedded systems

von Schaefer, Ina
Veröffentlicht 2008

Ein bisschen Berlin in Bautzen : die Bedeutung zivilgesellschaftlicher Angebote als sozialräumlich-alternativer Schutzraum für Geflüchtete

von Schäfer, Ina
Veröffentlicht in Zwischenräume - Sozialraumentwicklung in der Migrationsgesellschaft (2019)

Integrating formal verification into the model-based development of adaptive embedded systems

von Schaefer, Ina
Veröffentlicht 2008

Frauen leben länger : haben sie auch was davon? ; Gesundheitsförderung und Prävention im Alter

von Schaefer, Ina
Veröffentlicht in Frauenblicke auf das Gesundheitssystem (2010)

Umwelt und Gesundheit : zum Stellenwert von Krankheitenregistern

Veröffentlicht 1992

Umwelt und Gesundheit: zum Stellenwert von Krankheitenregistern

Veröffentlicht 1992

Scaling Correctness-by-Construction

von Knüppel, Alexander
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Summaries for while programs with recursion

von Podelski, Andreas
Veröffentlicht 2004

AutoArx: Digital Twins of Living Architectures

von Jordan, Sven
Veröffentlicht in European Conference on Software Architecture (16. : 2022 : Prag) Software architecture (2022)

Prävention von Suchtmittelkonsum in Schwangerschaft und Stillzeit: Neue Zugangswege durch intersektorale Zusammenarbeit?

von Schaefer, Ina
Veröffentlicht in Prävention (2014)

Automated Verification of Embedded Control Software: Track Introduction

von Gurov, Dilian
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Programmieren und Software Engineering : Begleitmaterial für die gleichnamigen Veranstaltungen an der Technischen Universität Braunschweig

Veröffentlicht 2012

Special Issues : Methods, approaches and applications in software-driven manufacturing

Veröffentlicht 2023

Grüne Infrastruktur als Standortfaktor und als Potenzial für das Standortmarketing : Städte in Nordrhein-Westfalen im Vergleich

von Schäffer, Ina
Veröffentlicht 2018

Gesundheit fördern in vernetzten Strukturen : Kurzfassung der Ergebnisse der wissenschaftlichen Begleitung der "Aktionsbündnisse gesunde Lebensstile und Lebenswelten"

Veröffentlicht 2011

Traits: Correctness-by-Construction for Free

von Runge, Tobias
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Runtime Verification of Correct-by-Construction Driving Maneuvers

von Kittelmann, Alexander
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

"Eltern fragen Eltern" (ElfE²): Vom Modellprojekt zum Transfer in die Fläche : Zwischenbericht/Bericht zur Projektverlängerung 2022 : Laufzeit des Vorhabens; 01.02.2018-31.12.202...

von Bär, Gesine
Veröffentlicht 16062023