Proving the absence of run-time errors in safety-critical avionics code

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Proving the absence of run-time errors in safety-critical avionics code'. Together they form a unique fingerprint.

Engineering & Materials Science