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