Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll. Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. In Stephen John Turner, David Roberts, Wentong Cai, Abdulmotaleb El-Saddik, editors, 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, Singapore, 25-28 October 2009. pages 208-215, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.