Author:
Zhu Xudong,Li Kin Fun,Chang Huiyou
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference28 articles.
1. Alves D, NetoDaniel AC, Valcrcel F, Felton R, Lopez JM (2014) A new generation of real-time systems in the JET tokamak. IEEE Trans Nucl Sci 61(2):711–719
2. Andrei S, Cheng AMK (2009) Efficient verification and optimization of real-time logic-specified systems. IEEE Trans Comput 58(12):1640–1653
3. Andrei S, Chin WN (2004) Incremental satisfiability counting for real-time systems, real-time and embedded technology and applications symposium, 2004. In: Proceedings. RTAS 2004, 10th IEEE, 482–489
4. Bernat G, Burns A, Llamos A (2001) Weakly hard real-time systems. IEEE Trans Comput 50(4):308–321
5. Chen J-M, Song Y, Sun Y (2006) Research on constraint specification of weakly hard real-time system. J Softw 17(12):2601–2608