Paper Title:
The Verification and Validation of Embedded Systems Using Cleanroom Software Engineering
  Abstract

This paper have been removed due to plagiarism. The original appeared in Advance Computing Conference (IACC), 2010, “A Formal Framework for verification and validation of external behavioral models of Embedded Systems represented through Black Box Structures”, issue Date: 19-20 Feb. 2010, page(s): 430 – 435 http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5422902

  Info
Periodical
Advanced Materials Research (Volumes 121-122)
Edited by
Donald C. Wunsch II, Honghua Tan, Dehuai Zeng, Qi Luo
Pages
922-922
DOI
10.4028/www.scientific.net/AMR.121-122.922
Online since
June 2010
Export
Price
$32.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.