A decomposition approach for SMT-based schedule synthesis for time-triggered networks.

Francisco Pozo, Wilfried Steiner, Guillermo Rodrguez-Navas, Hans Hansson

Browse the full ETFA paper archive.