暂无分享,去创建一个
[1] Wilfried Steiner,et al. An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks , 2010, 2010 31st IEEE Real-Time Systems Symposium.
[2] Sylvain Conchon,et al. A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo , 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
[3] Silviu S. Craciunas,et al. Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks , 2016, RTNS.
[4] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[5] Samarjit Chakraborty,et al. Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).
[6] Roberto Sebastiani,et al. OptiMathSAT: A Tool for Optimization Modulo Theories , 2015, Journal of Automated Reasoning.
[7] Silviu S. Craciunas,et al. Combined task- and network-level scheduling for distributed time-triggered systems , 2016, Real-Time Systems.
[8] Cesare Tinelli,et al. Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.
[9] Hermann Kopetz,et al. TTP - A time-triggered protocol for fault-tolerant real-time systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.