Number of the records: 1

Verification based model localizes faults from procedural programs

Title	Verification based model localizes faults from procedural programs
Author info	Safeeullah Soomro
Author	Soomro Safeeullah (100%)
Source document	Frontiers in robotics, automation and control. S. 55-70. - Vukovar : InTech, 2008
Keywords	software verification model-based software debugging model-based diagnosis
Headings Geogr.	3 004
Language	English
Country	Croatia
systematics	004
Public work category	AEC
No. of Archival Copy	31759
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xpca - PUBLIKAČNÁ ČINNOSŤ

unrecognised

Number of the records: 1