Implementing logical synchrony in integrated modular avionics

Steven P. Miller, Darren D. Cofer, Lui Raymond Sha, Jose Meseguer, Abdullah Al-Nayeem

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

Fingerprint Dive into the research topics of 'Implementing logical synchrony in integrated modular avionics'. Together they form a unique fingerprint.

Engineering & Materials Science