Towards provably correct code generation for a hard real-time programming language

Martin Fränzle, Markus Müller-Olm, Peter A. Fritzson (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    33 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Towards provably correct code generation for a hard real-time programming language'. Together they form a unique fingerprint.

    Engineering & Materials Science