Počet záznamov: 1
Relationship between the verification based model and the functional dependences model using program specification
Názov Relationship between the verification based model and the functional dependences model using program specification Aut.údaje Safeeullah Soomro, Abdul Baqi Autor Soomro Safeeullah (50%)
Spoluautori Baqi Abdul (50%)
Zdroj.dok. 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 Kľúč.slová functional dependenices models model-based software debugging fault detection and localization Jazyk dok. angličtina Krajina Nemecko Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31751 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 
nerozpoznaný
Počet záznamov: 1