LfD Logo

Benno Bielmeier

Benno Bielmeier (B.Sc.)

Master Student (Applied Research)

Mail: benno.bielmeier@st.oth-regensburg.de

Theses

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]