Credible autocoding and verification of a gas turbine engine FADEC

Timothy Wang, Romain Jobredeaux, Mehrdad Pakmher, Martin Vivies, Eric Feron, Emmanuel Boidot

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

Fingerprint

Dive into the research topics of 'Credible autocoding and verification of a gas turbine engine FADEC'. Together they form a unique fingerprint.

Keyphrases

Engineering