Implementing logical synchrony in integrated modular avionics

Steven P. Miller, Darren D. Cofer, Lui 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.

Keyphrases

Computer Science

Engineering