The Verification and Validation of Embedded Systems Using Cleanroom Software Engineering

Abstract:

Article Preview

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-928

DOI:

10.4028/www.scientific.net/AMR.121-122.922

Online since:

June 2010

Export:

Price:

$35.00

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