rrlig028

Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Contact

Roland Groz
Keqin Li

Référence BibTex

@TechReport{rrlig028,
   Author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre},
   Title = {{V}erification of {M}odular {S}ystems with {U}nknown {C}omponents {C}ombining {T}esting and {I}nference},
   Number = {28},
   Series = {Les rapports de recherche du LIG},
   Institution = {{LIG}},
   Address = {Grenoble, France},
   Year = {2013}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)