Object Location of a Humanoid Robot Based on Stereo Visual
p.900
p.900
Mechanical Design of a Needle Driven Robot
p.905
p.905
The Real Solutions of Equation of in Control Theory
p.911
p.911
An Improved Supercapacitor Model and its Parameter Identification for Wind Power Flow Optimization and Control System
p.916
p.916
The Verification and Validation of Embedded Systems Using Cleanroom Software Engineering
p.922
p.922
Estimates for the Lower Bounds on the Inverse Elements of Strictly Diagonally Dominant Tridiagonal Matrices in Signal Processing
p.929
p.929
Research of Filtering Based on Wavelet De-Noising Method for Revolution-Modulation North-Finder
p.934
p.934
Research on Simulation Platform Architecture for Noise Reduction of Electric Locomotive Wheel
p.940
p.940
The Optimization Research of Geo-Environmental Monitoring Image Fusion Based on Framelet
p.945
p.945
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.jsparnumber=5422902
You might also be interested in these eBooks
Info:
Periodical:
Advanced Materials Research (Volumes 121-122)
Pages:
922-928
Citation:
Online since:
June 2010
Price:
Сopyright:
© 2010 Trans Tech Publications Ltd. All Rights Reserved
Share:
Citation: