Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.

Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi

Browse the full IRI paper archive.