Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software
Report a Citation
Xu, Z. and X. Jianyu,, 2008. Combination of model checking and theorem proving to develop and verify embedded software.. Inform. Technol. J., 7: 623-630.
If you have cited the above article in your published manuscript? Please provide complete citation report of your article.
Title of manuscript:
Source of manuscript:
What color is the sky?
In case your published manuscript has no DOI, then you should send copy of published article via e-mail to
E-mail This Article
Related Articles in ASCI
Similar Articles in this Journal
Search in Google Scholar
© 2013 Science Alert. All Rights Reserved