[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - A decomposition approach for SMT-based schedule synthesis for time-triggered networks
Pozo, Francisco, Steiner, Wilfried, Rodriguez-Navas, Guillermo, Hansson, HansYear:
2015
Language:
english
DOI:
10.1109/etfa.2015.7301436
File:
PDF, 2.68 MB
english, 2015