

Author: Yao Cheng Xiao Jun Guo Tong-qiang Xia Liang
Publisher: Inderscience Publishers
ISSN: 0952-8091
Source: International Journal of Computer Applications in Technology, Vol.38, Iss.1-3, 2010-07, pp. : 86-92
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content




ATOM: An object-based formal method for real-time systems
By Zedan H. Cau A. Chen Z. Yang H.
Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. :



