Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Vol. 12, No. 7, pp. 563-570, Dec. 2005
10.3745/KIPSTA.2005.12.7.563
Abstract
Statistics
|
Cite this article
[IEEE Style]
S. C. Park, G. H. Kwon, S. H. Ha, "Automatic Verification of the Control Flow Model for Effective Embedded Software Design," The KIPS Transactions:PartA, vol. 12, no. 7, pp. 563-570, 2005. DOI: 10.3745/KIPSTA.2005.12.7.563.
[ACM Style]
Sa Choun Park, Gi Hwon Kwon, and Soon Hoi Ha. 2005. Automatic Verification of the Control Flow Model for Effective Embedded Software Design. The KIPS Transactions:PartA, 12, 7, (2005), 563-570. DOI: 10.3745/KIPSTA.2005.12.7.563.