Number of the records: 1
Relationship between the verification based model and the functional dependences model using program specification
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Ť unrecognised
Number of the records: 1