A Time-Triggered Constraint-Based Calculus for Avionic Systems.

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji

Browse the full ISORC paper archive.