Benno Bielmeier

Benno Bielmeier (B.Sc.)

Doctoral Student

Mail: benno.bielmeier@oth-regensburg.de

Industrial Publications

2022

OSSJ Conference
Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models
Benno Bielmeier, Wolfgang MauererOpen Source Summig Japan (OSSJ)2022.
PDF [BibTex]

Theses