Login / Signup
Matthias Stasch
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Real Time Image Processing
Hw Sw
Formal Methods
Embedded Systems
Top Venues
SC-Square@FLOC
FM
</>
Publications
</>
Tino Teige
,
Andreas Eggers
,
Karsten Scheibler
,
Matthias Stasch
,
Udo Brockmeyer
,
Hans Jürgen Holberg
,
Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.
FM
(2021)
Andreas Eggers
,
Matthias Stasch
,
Tino Teige
,
Tom Bienmüller
,
Udo Brockmeyer
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.
SC-Square@FLOC
(2018)