Login / Signup
A decomposition approach for SMT-based schedule synthesis for time-triggered networks.
Francisco Pozo
Wilfried Steiner
Guillermo Rodríguez-Navas
Hans Hansson
Published in:
ETFA (2015)
Keyphrases
</>
scheduling problem
network analysis
computer networks
hierarchical decomposition
social networks
information systems
program synthesis