Author: Borshchev A. Karpov Y. Kharitonov V.
Publisher: Elsevier
ISSN: 0167-739X
Source: Future Generation Computer Systems, Vol.18, Iss.6, 2002-05, pp. : 829-839
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
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :