- Title:
Multi-Schedule Synthesis for Variant Management in Automotive Time-Triggered Systems
- Author(s):
- Sagstetter, Florian; Waszecki, Peter; Steinhorst, Sebastian; Lukasiewycz, Martin; Chakraborty, Samarjit
- Journal title:
- {IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
- Year:
- 2016
- Journal volume:
- 35
- Month:
- 4
- Journal issue:
- 4
- Pages contribution:
- 637-650
- Fulltext / DOI:
- doi:10.1109/TCAD.2015.2488480
- BibTeX