Physics-based software analysis for safety-critical embedded applications: work-in-progress.

Philipp Gttlich, Hans-Christian Reuss

Browse the full EMSOFT paper archive.