Amanote Research

Amanote Research

    RegisterSign In

Verification of Software via Integration of Design and Implementation

doi 10.1109/ipdps.2006.1639581
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2006

Authors
A.S. MinerS. Basu
Publisher

IEEE


Related search

Automatic Strain Gauge Balance Design Optimization Approach and Implementation Based on Integration of Software

Measurement Science Review
ControlSystems EngineeringBiomedical EngineeringInstrumentation
2020English

Multicore Hardware-Software Design and Verification Techniques

2012English

Design and Software Implementation of Solid State Transformer

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Design,implementation and Verification of C-Band Gaas Mesfet Oscillator

The International Conference on Electrical Engineering
1999English

Implementation and Verification of a Realistic Battery Model in the DEMKit Simulation Software

2018English

Design and Implementation of the Inter-Satellite Link Budget Software

Journal of Software Engineering
Software
2015English

Verification and Design Exploration Through Meta Tool Integration With OpenModelica

2014English

Design and Implementation of SPARC V8 CPU Simulator in Virtualized Verification System

2018English

Design and Implementation of a Framework for Software-Defined Middlebox Networking

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy