Search results
Title Relationship between the verification based model and the functional dependences model using program specification Author info Safeeullah Soomro, Abdul Baqi Author Soomro Safeeullah (50%)
Co-authors Baqi Abdul (50%)
Source document Lecture notes in computer science : Advanced intelligent computing theories and applications: with aspects of artificial intelligence : 6th international conference on intelligent computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings. Vol. 6216 (2010), pp. 535-542. - [s. l.] : Springer international publishing, 2010 Keywords functional dependenices models model-based software debugging fault detection and localization Language English Country Germany systematics 004 Public work category AFC No. of Archival Copy 31751 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ