Author: Yang Hoonmo Lee Moonkey
Publisher: Springer Publishing Company
ISSN: 0920-8542
Source: The Journal of Supercomputing, Vol.33, Iss.1, 2005-07, pp. : 19-32
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
By Sudarsanam A. Malik S. Fujita M.
Design Automation for Embedded Systems, Vol. 4, Iss. 2, 1999-02 ,pp. :
By Sudarsanam Ashok Malik Sharad Fujita Masahiro
Design Automation for Embedded Systems, Vol. 4, Iss. 2-3, 1999-03 ,pp. :
Using Event-B to construct instruction set architectures
Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. :