TY  - CHAP
AU  - Safeeullah Soomro
ED  - Alexander Zemliak
Y1  - 2008-10-01
PY  - 2008
T1  - Verification Based Model Localizes Faults from Procedural Programs
N2  - This book includes 23 chapters introducing basic research, advanced developments and applications. The book covers topics such us modeling and practical realization of robotic control for different applications, researching of the problems of stability and robustness, automation in algorithm and program developments with application in speech signal processing and linguistic research, system's applied control, computations, and control theory application in mechanics and electronics.
BT  - Frontiers in Robotics, Automation and Control
SP  - Ch. 4
UR  - https://doi.org/10.5772/6334
DO  - 10.5772/6334
SN  - 
PB  - IntechOpen
CY  - Rijeka
Y2  - 2024-04-19
ER  -