Article citationsMore>>

F. Yan and T. Tang, “Formal Modeling and Verification of Real-time Con-current Systems,” Proceedings of the IEEE International Con-ference on Vehicular Electronics and Safety, ICVES 2007, Bei-jing, 13-15 December 2007, pp. 1-6.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top