Charts
Log in
Software Engineering for Embedded Systems (WS...
Coding Patterns
Listen now
Description
Coding Patterns
More Episodes
See all »
Model Checking
Model Checking
Published 12/20/11
Why is Model-Checking Software Difficult?
Why is Model-Checking Software Difficult?
Published 12/20/11
Dynamic Analysis
Dynamic Analysis
Published 12/20/11
All episodes
More from Prof. Dr. Holger Giese, Dipl. Inf. Stefan Neumann
Links
No website
RSS feed
Listen on Apple Podcasts
Twitter
Facebook
Instagram
Patreon
Genres
Technology
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.