![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Vasudevan Shobha Emerson E. Abraham Jacob
Publisher: Springer Publishing Company
ISSN: 1433-2779
Source: International Journal on Software Tools for Technology Transfer, Vol.9, Iss.1, 2007-02, pp. : 89-101
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal verification of component-based designs
Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Improved Designs for Running Maps
The Cartographic Journal, Vol. 36, Iss. 1, 1999-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Using Word-Level Information in Formal Hardware Verification
By Drechsler R.
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :