Afficher la notice abrégée
dc.contributor.author |
Mateo, Pedro Reales |
|
dc.contributor.author |
Usaola, Macario Polo |
|
dc.contributor.author |
Aleman, José Luis Fernandez |
|
dc.date.accessioned |
2022-03-01T08:38:52Z |
|
dc.date.available |
2022-03-01T08:38:52Z |
|
dc.date.issued |
2013 |
|
dc.identifier.issn |
0098-5589 |
|
dc.identifier.uri |
http://repository.usthb.dz//xmlui/handle/123456789/9044 |
|
dc.description |
570-587 p. ; 2.304ko. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
Institute of electrical and electronics engineers |
en_US |
dc.subject |
Logiciels : Validation |
en_US |
dc.subject |
Logiciels : Vérification |
en_US |
dc.subject |
Evaluation empirique |
en_US |
dc.subject |
Mutation d’ordre élevé |
en_US |
dc.title |
Validating Second-Order Mutation at System Level |
en_US |
dc.type |
Article |
en_US |
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
Afficher la notice abrégée