Programmsysteme zur Analyse schwerer Störfälle in Kernkraftwerken mit Leichtwasserreaktoren

von Brockmeier, Udo
Veröffentlicht 1995

Numerisches Verfahren zur Berechnung dreidimensionaler Strömungs- und Temperaturfelder in Kanälen mit Längswirbelerzeugern und Untersuchung von Wärmeübergang und Strömungsverlust...

von Brockmeier, Udo
Veröffentlicht 1987

OpRail - Cenelec getriebene Optimierung der Entwicklung bahntechnischer Systeme : Schlussbericht zum Verbundprojekt ; Berichtszeitraum: 01.01.2006 - 31.12.2006

Veröffentlicht 2007

Numerisches Verfahren zur Berechnung dreidimensionaler Strömungs- und Temperaturfelder in Kanälen mit Längswirbelerzeugern und Untersuchung von Wärmeübergang und Strömungsverlust...

von Brockmeier, Udo
Veröffentlicht 1987

Verifikation von Statemate Designs

von Brockmeyer, Udo
Veröffentlicht 1999

Verifikation von STATEMATE designs

von Brockmeyer, Udo
Veröffentlicht 1999

Numerisches Verfahren zur Berechnung dreidimensionaler Strömungs- und Temperaturfelder in Kanälen mit Längswirbelerzeugern und Untersuchung von Wärmeübergang und Strömungsverlust...

von Brockmeier, Udo
Veröffentlicht 1987

Verifikation von STATEMATE Designs

von Brockmeyer, Udo
Veröffentlicht 1999

Komponententest von modelbasierten Funktionen im MIL/SIL und PIL : Test mit Anwendungen von formalen Testmethoden

von Kock, Peter
Veröffentlicht in Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik II (2008)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems

von Teige, Tino
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

ECSEL JU Project ENABLE-S3: European Initiative to Enable Validation for Highly Automated Safe and Secure Systems : Abschlussbericht

von Kubisch, Martin
Veröffentlicht 2019

Affordable Safe & Secure Mobility Evolution : Schlussbericht : BMBF-Verbundprojekt: ASSUME : Projektlaufzeit: 1. September 2015-31. August 2018

von Paule, Anton
Veröffentlicht 02042019