InTech - Open Access Publisher

Verification Based Model Localizes Faults from Procedural Programs Safeeullah Soomro

Bookmark and Share

    Tweet

     

How to Reference

To reference this article in your paper, please copy and paste the following text:

How to Link

To place a link on your website or a blog, please copy and paste the following HTML code:

Related Articles

• Procedural Techniques of Coronary Angiography
• Human Identity Verification based on Heart Sounds: Recent Advances and Future Directions
• Experimental Verification of Reactive Torque Control Based on Driver Sensitivity to Active Front ...
• Hardware-in-the-Loop Simulation System Construction for Spacecraft On-Orbit Docking Dynamics, Ide...
• Model-based Reinforcement Learning with Model Error and Its Application
• Automatic Generation of Programs
• Community Participation in HIV/AIDS Programs
• Diagnosis of Intermittent Faults and its dynamics
• Faults Detection for Power Systems
• Automation of Cellular Network Faults
• Impacts of GHG Programs and Markets on the Power Industry
• Automatic Construction of Programs Using Dynamic Ant Programming